Verification of logic controllers for continuous plants using timed condition/event-system models