system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’, CNR Via G. Moruzzi 1, 56124 Pisa, Italy b Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze Via S. Marta 3, 50139 Firenze, Italy a r t i c l e i n f o Article history: Received 8 June 2009 Accepted 14 July 2010 Available online 30 July 2010
Maurice H. ter Beek, Alessandro Fantechi, Stefania