Modern Arduino Programming with the QP/C++ real-time embedded frameworks, hierarchical state machines, QM modeling tool & code generation.