de.upb.swt.mcie.mc
Classes 
FairModel
Kripkestructure
Model
Procedures
Transitionsystem
Exceptions 
AbortException
IncorrectUseException