On the specification of real-time systems using logic programming

In this paper we motivate the need for applying logic programming to the specification of real-time systems, i.e., systems which must react to external asynchronous stimuli within strict time bounds. Our ultimate goal is to develop a methodology and an environment to support specification, design, and validation of such time critical systems. To set a firm step in this direction, we describe here the lessons learned in the application of logic programming to a real-world case study