QP/C++ state machine-based frameworks for embedded systems