Using UML Profile and OCL to Impose Regulatory Requirements on Safety-Critical System.

Chung-Ling Ling, Wuwei Shen, Dionysios Kountanis

Browse the full SNPD paper archive.