Synthesis of asynchronous monitors for critical electronic systems | IEEE Conference Publication | IEEE Xplore