FAUST: Formal Analysis Using Specification Tools. - André Rifaut; Philippe Massonet; Jean-François Molderez; Christophe Ponsard; Pierre Stadnik; Axel van Lamsweerde; Hung Tran Van (RE, 2003)