Xiuli Sun Jinzhao Wu Xiaoyu Song Mila E. Majster-Cederbaum Formal Specification of an Asynchronous Processor via Action Refinement. 36-41 2004 conf/mtv/2004 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2004.13 db/conf/mtv/mtv2004.html#SunWSM04