Top-down development of real-time software specification | IEEE Conference Publication | IEEE Xplore