Domenico Bianculli Paola Spoletini Angelo Morzenti Matteo Pradella Pierluigi San Pietro Model Checking Temporal Metric Specifications with Trio2Promela. 388-395 2007 conf/fsen/2007 FSEN http://dx.doi.org/10.1007/978-3-540-75698-9_26 db/conf/fsen/fsen2007.html#BianculliSMPP07