 *  STORM (Scenario-based Testing of Object-oriented Runtime Models)
 *
 *  Copyright (C) 2007-2012 Mark Strembeck
 *
 *     Vienna University of Economics and Business (WU Vienna)
 *     Institute of Information Systems / New Media Lab
 *     Augasse 2-6, A-1090 Vienna, Austria
 *     strembeck@{acm|computer}.org
 *     
 *  Permission to use, copy, modify, distribute this software 
 *  and its documentation for non commercial purposes is hereby granted
 *  without fee, provided that the above copyright notice appears in
 *  all copies and modifications and that both that copyright notice and
 *  this permission notice appear in supporting documentation. I make no
 *  representations about the suitability of this software for any
 *  purpose.  It is provided "as is" without express or implied
 *  warranty.
