A framework for high-assurance quasi-synchronous systems | IEEE Conference Publication | IEEE Xplore