Alarico Campetelli

User-friendly Model Checking Integration in Model-based Development

F. Hölzl, Alarico Campetelli, P. Neubeck, 2011 .

Analysis Techniques: State of the Art in Industry and Research

Alarico Campetelli, Alarico Campetelli, 2010 .