See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/220368074 Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin Article in Electronic Notes in Theoretical Computer Science · August 2003 DOI: 10.1016/S1571-0661(04)80830-2 · Source: DBLP CITATIONS 0 READS 20 1 author: Andrew Butterfield Trinity College Dublin 82 PUBLICATIONS 311 CITATIONS SEE PROFILE All content following this page was uploaded by Andrew Butterfield on 25 March 2014. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.