Model-based engineering of large-scale real-time systems | IEEE Conference Publication | IEEE Xplore