Andrea Bondavalli Silvano Chiaradonna Paolo Lollini Fabrizio Squittieri Integration of an MPS Modeling Approach into Mobius. 139-140 2006 conf/qest/2006 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2006.21 db/conf/qest/qest2006.html#BondavalliCLS06