Tommi Mikkonen Risto Pitkänen On Agility of Formal Specification. 1-16 2006 EJC conf/ejc/2006 db/conf/ejc/ejc2006.html#MikkonenP06