Laura Giordano Alberto Martelli Camilla Schwind Specifying and verifying interaction protocols in a temporal action logic. 214-234 2007 5 J. Applied Logic 2 http://dx.doi.org/10.1016/j.jal.2005.12.011 db/journals/japll/japll5.html#GiordanoMS07