LTS (hackage): This is an implementation of labelled transition system and follow the README for information on importing and getting started.
Keywords: library|mit|program|state-machines