Formal specification and runtime detection of temporal properties for asynchronous context | IEEE Conference Publication | IEEE Xplore