Patterns for representing FMEA in formal specification of control systems /
Lopatkin, Ilya.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle-upon-Tyne : Computing Science, Newcastle University,
2011.
Caption title.
"July 2011."