Modeling event driven applications with a specification language (MEDASL). - Murali Kaundinya; Ali Syed (OOPSLA Companion, 2004)