Mode changes in a real-time architecture description language | IEEE Conference Publication | IEEE Xplore