Components monitoring through formal specifications