1. Angelov, C., Sierszecki, K.: A Software Framework for Component-Based Embedded Applications. In: Proc. of the Asia-Pacific Software Engineering Conference, APSEC 2004, Busan, Korea (2004)
2. Samek, M.: Practical Statecharts in C/C++: Quantum Programming for Embedded Systems. CMP Books (2002)
3. Wagner, F., Wolstenholme, P.: Modeling and Building Reliable, Re-usable Software. In: Proc. of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, USA (2003)
4. Wang, S., Shin, K.G.: Constructing Reconfigurable Software for Machine Control Systems. IEEE Trans. on Robotics and Automation 18(4), 475–486 (2002)
5. Maraninchi, F., Remond, Y.: Applying Formal Methods to Industrial Cases: the Language Approach (The Production-Cell and Mode-Automata). In: Proc. of the 5th International Workshop on Formal Methods for Industrial Critical Systems, Berlin (2000)