Added support for CTL
Added unit tests for formula transformations; formula transformation now throws an UnknownComponentException if an unknown component is referenced by a formula