Programming and verifying real-time systems by means of thesynchronous data-ow language