An Architecture-Based Comparison of Verification and Statistical Reliability Assessment Methods for Embedded Software Systems.
Farokh B. BastaniSung KimI-Ling YenIng-Ray ChenPublished in: Symposium on Object-Oriented Real-Time Distributed Computing (2002)