SAS architecture: verification oriented formal modeling of concrete critical systems. - Annie Ressouche; Jean-Yves Tigli; Valine Roy; Daniel Cheung-Foo-Wo (SMC, 2003)