Stephen Cranefield Michael Winikoff Verifying social expectations by model checking truncated paths. 1217-1256 2011 21 J. Log. Comput. 6 https://doi.org/10.1093/logcom/exq055 db/journals/logcom/logcom21.html#CranefieldW11