Richard W. Selby. Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. In Qing Wang, Vahid Garousi, Raymond J. Madachy, Dietmar Pfahl, editors, Trustworthy Software Development Processes, International Conference on Software Process, ICSP 2009 Vancouver, Canada, May 16-17, 2009 Proceedings. Volume 5543 of Lecture Notes in Computer Science, pages 3-10, Springer, 2009. [doi]
Abstract is missing.