Text this: Formal Verification of Logic Control Systems with Nondeterministic Behaviors