Nicola Dragoni Mauro Gaspari Davide Guidi An ACL for Specifying Fault-Tolerant Protocols. 361-381 2007 21 Applied Artificial Intelligence 4&5 http://dx.doi.org/10.1080/08839510701252643 db/journals/aai/aai21.html#DragoniGG07