PROARTIS: Probabilistically Analysable Real-Time Systems

Journal 2012