Formal specification of an asynchronous processor via action refinement | IEEE Conference Publication | IEEE Xplore