Avispa: a tool for analyzing software process models. Issue 4 (11th February 2013)