Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT.

John Hkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej

Browse the full ATVA paper archive.