Specification of communicating processes: temporal logic versus refusals−based refinement - Lowe, G (Formal Aspects of Computing, 2008)