1. A method for transforming a formula in a simple-subset, comprising: inputting a property specification language formula, the formula comprising a plurality of forms; and applying one or more of a set of transformation rules to transform the property specification language formula into a Sugar Extended Regular Expression (SERE) implication, the SERE implication being of one form.