Harrison M, Masci P, Campos JC, Curzon P.? 2013.??Automated theorem proving for the systematic analysis of interactive systems. Proceedings of the 5th International Workshop on Formal Methods for Interactive Systems.