An Industrial Application of Model Checking to a Vessel Control System. - Daniel Keating; Allan McInnes; Michael P. Hayes (DELTA, 2011)

Model Checking a TTCAN Implementation. - Daniel Keating; Allan McInnes; Michael P. Hayes (ICST, 2011)