1. A tool for evaluating compiler-based parallelization strategies;Anand;Mathelnatics and Computers in Simulation,1989
2. Modelling of capacitive transducer errors;Choiński;Proc. 6th Symposiurn System Modelling Control,1990
3. Modelling the Weather with Data Flow Supercomputer;Dennis;IEEE Transaction on Computers,1984
4. Formal methods in PLC programming;Frey;Proceedings of the IEEE Conference on Systems Man and Cyberbetics SMC,2000
5. A software design method for real-time systems;Gommaa;Communication of the ACM,1984