Robert Dewar. A Pragmatic View of Formal Methods: the Hi-Lite Project. In Chris Dale, Tom Anderson, editors, Advances in Systems Safety - Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, February 8-10, 2011. pages 233-248, Springer, 2011. [doi]