A simple compiler from LTL formulas to state machines - View it on GitHub