Posted on 18 May 201319 May 2013 Speaking in the 2nd Meeting on Formal and Semi-formal Architecture methods