Sequence Chart Studio. - Martin Bezdeka; Ondrej Bouda; Lubos Korenciak; Matú Madzin; Vojtech Rehák (ACSD, 2012)