Dominik Schmitz Gerhard Lakemeyer Matthias Jarke Comparing Three Formal Analysis Approaches of the Tropos Family. 164-182 2006 AOIS http://dx.doi.org/10.1007/978-3-540-77990-2_10 conf/aois/2006 db/conf/aois/aois2006.html#SchmitzLJ06