embedded systems programming rtos embedded systems actor framework uml statecharts state machines active objects real-time modeling tool real-time operating system software development arm cortex-m miro samek code generation model-driven engineering software testing event-driven programming modern programming uml state machine interrupts nvic arm architecture quantum leaps qp frameworks
Tout plus