PROARTIS: Probabilistically Analyzable Real-Time Systems

Journal 2013