Real Time Systems: Investigating Industrial Practice

Practical verification for requirements model of Hatley/Pirbhai

ACM SIGSOFT Software Engineering Notes

Queueing Analysis of Pools in Soft Real-Time Systems

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools

A formal requirements engineering method for specification, synthesis, and verification

SEE '97 Proceedings of the 8th International Conference on Software Engineering Environments (SEE '97)

Real-time control: the extended use of simulation in evaluating real-time control systems of AGVs and automated material handling systems

Proceedings of the 34th conference on Winter simulation: exploring new frontiers