Domenico Bianculli Angelo Morzenti Matteo Pradella Pierluigi San Pietro Paola Spoletini Trio2Promela: A Model Checker for Temporal Metric Specifications. 61-62 2007 conf/icse/2007c ICSE Companion http://doi.ieeecomputersociety.org/10.1109/ICSECOMPANION.2007.79 db/conf/icse/icsec2007.html#BianculliMPPS07