I have published the following paper in 2003 :
Authors : BLAISE J.C., LHOSTE P., CICCOTELLI J.
Formalization of normative knowledge for safe design
“Safety Science”, Special Issue “Safety in Design”,
Vol. 41, n° 2-3, pp. 241-261, ISSN 0925-7535,
Elsevier Science, Pergamon, mars 2003
Download : http://staff.ui.ac.id/internal/131287959/material/SafetyChapter-3MachinerySafety-1.pdf
which relates to the use of NIAM/ORM to formalize standards
and to help designers to better integrate these standards in
Contact me if you are interested ...