Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans. State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. In Wolfgang Rosenstiel, Lothar Thiele, editors, 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. pages 370-375, IEEE, 2012. [doi]
Abstract is missing.