Sylvain Camier Damien Chabrol Vincent David Christophe Aussaguès OASIS formal approach for distributed safety-critical real-time system design. 167-178 2007 ISoLA conf/isola/2007 db/conf/isola/isola2007.html#CamierCDA07