Christo Ananth, Reviewer, Formal Methods in System Design, Springer, Netherlands, (ISSN(Print): 0925-9856, ISSN (Online): 1572-8102).Lire moins