Managing complexity in real-time reactive systems | IEEE Conference Publication | IEEE Xplore