The use of automata in modelling and building a real-time component based system | IEEE Conference Publication | IEEE Xplore