Gavin Lowe Specification of communicating processes: temporal logic versus refusals-based refinement. 277-294 2008 20 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-007-0065-0 db/journals/fac/fac20.html#Lowe08