Graña Gil, JorgeVilares Ferro, ManuelBernhard, R.2005-11-212005-11-211995Proceedings of the Second International Conference on Software Engineering in Higher Education (SEHE-1995), Alicante (Spain). pp. 255-265.1-56252-309-01-85312-385-4http://hdl.handle.net/2183/164[Abstract] This work summarizes design, implementation and verification processes of a digital telephone switchboard in the Esterel real-time programming environment. Our aim is to show the modularity in the description and of flexibility in the verification process. We also show the control synchronization mechanisms to coordinate concurrent processes. The goal is to prevent in compile-time deadlock and lockout phenomena, a feature that is not available in most programming languages.application/postscripttext/plainengSynchronous programmingReactive systemsAutomata verificationjournal articleopen access