Joost-Pieter Katoen. Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques. In Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008. pages 86-87, 2008. [doi]
Abstract is missing.