APLEIS from http://sourceforge.net/projects/apleis/