Marcel Kyas Jozef Hooman Compositional Verification of Timed Components using PVS. 143-154 2006 conf/se/2006 Software Engineering db/conf/se/se2006.html#Kyas06