Lionel van den Berg Paul A. Strooper Kirsten Winter Introducing Time in an Industrial Application of Model-Checking. 56-67 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_6 conf/fmics/2007 db/conf/fmics/fmics2007.html#BergSW07