Tools for specifying real-time systems

Re-usable software design for programmable logic controllers

An improved process for the development of PLC software

ICSE '97 Proceedings of the 19th international conference on Software engineering

Temporal logics for real-time system specification

ACM Computing Surveys (CSUR)

An Interval Logic for Real-Time System Specification

IEEE Transactions on Software Engineering

Managing Music in Orchestras

Computer

Managing OO Projects Better

IEEE Software

Discrete Time Stochastic Petri Nets for the Modeling and Evaluation of Real-Time Systems

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium

Environment for the Development and Specification of Real-Time Ada Programs

Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies

Validating Component Integration with C-TILCO

Electronic Notes in Theoretical Computer Science (ENTCS)

Modelling protocols for multiagent interaction by F-logic

EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing

A property based specification formalism classification

Journal of Systems and Software