Pošalji tekstualnu poruku: Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.