Model Checking Real-time Java

by Pavel Parizek, Tomas Kalibera, Jan Vitek