L. Brandan-Briones, Lazovik, A., and Dague, P.,
“Optimizing the system observability level for diagnosability”, in
Proc. of International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Chalkidiki, Kassandra, Greece, 2008.