 Experimenting on <a href="http://www.cs.washington.edu/homes/ctkwok/simon-manual.html">reactive system</a> in software domain (C. T. Kwok and T.J. Goan). <li>
