A framework is presented for synthesizing logic feedback controllers for event-driven operations, which are used typically for startup and shutdown operations emergency procedures, and alarm handling, The framework encompasses techniques for discrete-event modeling of open-loop process behavior and operational specifications, as well as the synthesis of feedback cona ol mechanisms called procedural controllers. A procedural controller, if it exists, is mathematically guaranteed to satisfy its operational specifications. This is of particular importance for control systems in which high integrity and correctness are required by design (such as systems in which human life is at risk). The notions introduced and the framework presented are illustrated with a small example. The applicability of the framework to cases of industrial complexity is demonstrated by synthesizing a procedural controller and implementing it as a control code for a section of the operation of an automated multipurpose-multiproduct batch pilot plant.