Extending Statecharts with ad lib and multi-thread features.

Karl R. P. H. Leung

Browse the full APSEC paper archive.