Early quality monitoring in the development of real-time reactive systems