1. Douglass, B.P.: Real-time UML: developing efficient objects for embedded systems. Addison-Wesley, Reading (2000)
2. Ostroff, J.O.: Formal methods for the specification and design of real-time safety critical systems, http://www.cs.yorku.ca/jonathan/survey/combined-paper.html
3. Robertson, D., Ulrich, K.: Planning For product platforms. Sloan Management Review 39(4), 19–31 (2001)
4. Schmid, K.: Scoping software product line. An analysis of an emerging technology. In: Donohoe, P. (ed.) Proceedings of Software Product Line. Experience and research directions, pp. 513–532. Kluwer Academic Publishers, Massachusetts (2002)
5. Kang, B., Kwon, Y.-J., Lee, R.Y.: A design and test technique for embedded software. In: Third ACIS International Conference on Software Engineering Research, Management and Applications, pp. 160–165 (2005)