Object-oriented behaviour modelling for real-time design | IEEE Conference Publication | IEEE Xplore