Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo. SAS architecture: verification oriented formal modeling of concrete critical systems. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003. pages 181-188, IEEE, 2003. [doi]
Abstract is missing.