Using Temporal Logic for Prototyping: The Design of a Lift Controller

• Authors:

• Roger Hale

• Affiliations:

• -

• Venue:
• Temporal Logic in Specification
• Year:
• 1987