Verifiable fault-tolerant transformation of a real-time legacy system /
Owen, Dan J.
Ezhilchelvan, Paul D.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle : University of Newcastle upon Tyne,
2003.
Cover title.
"April 2003."