Tools And Algorithms for the Construction And Analysis of Systems : 12th Inte...