1. Ahamadian, M., Nakhaee, N., Nesterov, A.: Rapid application development (RAD) and code optimization technique. In: Global Signal Processing Conference (2004)
2. Alur, R., Henzinger, T.A.: Modularity for timed and hybrid systems. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. Lecture Notes in Computer Science, vol. 1243, pp. 74–88. Springer, Berlin/Heidelberg (1997)
3. Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., Sangiovanni-Vincentelli, A.L.: Metropolis: an integrated electronic system design environment. IEEE Comput. 36 (4), 45–52 (2003)
4. Chen, M., Han, X., Tang, T., Wang, S., Yang, M., Zhan, N., Zhao, H., Zou, L.: MARS: a toolchain for modelling, analysis and verification of spacecraft control systems. Tech. Rep. ISCAS-SKLCS-15-04, State Key Lab. of Computer Science, Institute of Software, CAS (2015). To appear in Proceedings of ProCoS 2015
5. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) Automata Theory and Formal Languages. Lecture Notes in Computer Science, vol. 33, pp. 134–183. Springer, Berlin/Heidelberg (1975)