Demissie B. Aredo, Olaf Owe. Model-Based Verification in the Development of Dependable Systems. In International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA. pages 327-334, IEEE Computer Society, 2005. [doi]
Abstract is missing.