Modelling and Verification of Timed Robotic Controllers
scientific article; zbMATH DE number 7612666