A ``lightweight formal methods'' perspective on investigating aspects of interactive systems

Boyatt, R. C., & Sinclair, J. E. (2007). A ``lightweight formal methods’’ perspective on investigating aspects of interactive systems. In Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (pp. 35–50). London: Queen Mary, University of London.