1. Altisen, K., Gobler, G., Pneuli, A., Sifakis, J., Tripakis, S., Yovine, S.: A framework for scheduler synthesis. In: Proceedings of the Real-Time System Symposium (RTSS 1999). IEEE Computer Society Press, Los Alamitos (1999)
2. Balarin, F., Chiodo, M.: Software synthesis for complex reactive embedded systems. In: Proceedings of International Conference on Computer Design (ICCD 1999), pp. 634–639. IEEE CS Press, Los Alamitos (1999)
3. Cortes, L.A., Eles, P., Peng, Z.: Formal co-verification of embedded systems using model checking. In: Proceedings of EUROMICRO, pp. 106–113 (2000)
4. Hsiung, P.-A.: Formal synthesis and code generation of embedded real-time software. In: International Symposium on Hardware/Software Codesign (CODES 2001), Copenhagen, Denmark, pp. 208–213. ACM Press, New York (2001)
5. Hsiung, P.-A., See, W.-B., Lee, T.-Y., Fu, J.-M., Chen, S.-J.: Formal verification of embedded real-time software in component-based application frameworks. In: Proceedings of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001), Macau, China, pp. 71–78. IEEE CS Press, Los Alamitos (2001)