Gianluca Moro Antonio Natali Mirko Viroli On the Consistent Observation of Active Systems. 47-51 2000 conf/woa/2000 WOA db/conf/woa/woa2000.html#MoroNV00