Times - A tool for Modelling and Implmentation of Embedded Systems