Contents of References

References

1: B. Alpern and F.B. Schneider.
Verifying temporal properties without temporal logic.
ACM Transactions on Programming Language Systems, 11(1), 1989.
2: R. Alur.
Techniques for Automatic Verification of Real-Time Systems.
PhD thesis, Stanford University, Dept. of Computer Science, Stanford, CA 94305 USA, 1991.
3: R. Alur, C. Courcoubetis, and D.L. Dill.
Model checking for real-time systems.
In Proceedings 5th Conference on Logic in Computer Science. IEEE, 1990.
4: R. Alur and D.L. Dill.
Automata for modeling real-time systems.
In M.S. Paterson, editor, ICALP 90: Automata, Languages and Programming, LNCS 443, pages 322–335. Springer-Verlag, 1990.
5: R. Alur, T. Feder, and T.A. Henzinger.
The benefits of relaxing punctuality.
In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, 1991.
6: R. Alur and T.A. Henzinger.
Logics and models of real-time: A survey.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
7: Rajeev Alur and Thomas Henzinger.
Real-time logics: Complexity and expressiveness.
In Proceedings of the 5th Anual IEEE Symposium on Logic in Computer Science, pages 390–401, June 1990.
8: J.C.M. Baeten and J.A. Bergstra.
Real time process algebra.
Technical Report CS-R9053, Center for Mathematics and Computer Science, Amsterdam, 1990.
9: A. Benveniste and P. LeGuernic.
Hybrid dynamical systems theory and the SIGNAL language.
IEEE Trans. on Automatic Control, 35(5):535–546, May 1990.
10: A. Bernstein and P.K. Harter.
Proving real-time properties of programs with temporal logic.
In Proceedings of ACM SIGOPS 8th annual ACM Symposium on Operating Systems Principles, pages 1–11, December 1981.
11: G. Berry and G. Gonthier.
The Esterel synchronous programming language: Design, semantics, implementation.
Technical report, Ecole Nationale Superieure des Mines de Paris, 1988.
12: B. Berthomieu and Michael Diaz.
Modeling and verification of time dependent systems using time petri nets.
IEEE Transactions on Software Engineering, 17(3):259—273, March 1991.
13: J. Billington, G.R. Wheeler, and M.C. Wilbur-Ham.
PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols.
IEEE Transactions on Software Engineering, 14(3):301–316, March 1988.
14: T. Bolognesi and F. Lucidi.
LOTOS- like process algebra with urgent or timed interactions.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
15: K.P. Brand and J. Kopainsky.
Principles and engineering of process control with Petri nets.
IEEE Transactions on Automatic Control, 33(2):138–149, February 1988.
16: P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice.
LUSTRE : a declarative language for programming synchronous systems.
In Proc. 14th ACM Symposium on Programming Languages, Jan. 1987.
17: J.F. Cassidy, T.Z. Chu, M. Kutcher, S.B. Gershwin, and Y. Ho.
Research needs in manufacturing systems.
IEEE Control Systems Magazine, 5(3):11–13, August 1985.
18: CCIT.
CCIT high level language CHILL recommendation z.200, CCIT, Geneva, 1980.
19: K.M. Chandy and J. Misra.
Parallel program design.
Addison-Wesley, 1988.
20: E.M. Clarke, E.A. Emerson, and A.P. Sistla.
Automatic verification of finite state concurrent systems using temporal logic.
ACM Transactions on Programming Languages and Systems, 8(2):244–263, April 1986.
21: J. Davis.
Specification and Proof in Real-Time Systems.
PhD thesis, Oxford University Computing Laboratory, 1991.
22: W.-P. de Roever.
Foundations of computer science: Leaving the ivory tower.
In EATCS Bulletin. EATCS, June 1991.
23: E.W. Dijkstra.
A Discipline of Programming.
Prentice-Hall, Englewood Cliffs, 1976.
24: E.A. Emerson and E.C. Clarke.
Using branching time temporal logic to synthesize synchronization skeletons.
Science of Computer Programming, 2:241–266, 1982.
25: E.A. Emerson and J.Y. Halpern.
`Sometimes' and `not never' revisited: on branching versus linear time temporal logic.
Journal of the Association for Computing Machinery, 33(1):151–178, January 1986.
26: E.A. Emerson, A.K. Mok, A.P. Sistla, and J. Srinisvan.
Quantitative temporal reasoning.
In E.M. Clarke, A. Pnueli, and J. Sifakis, editors, Proceedings of the Workshop on Automatic Verification Methods for Finite State Systems. Springer-Verlag, Lecture Notes in Computer Science, 1989.
27: F.S. Etessami and G.S. Hura.
Rule based design methodology for solving control problems.
IEEE Transactions on Software Engineering, 17(3):274–282, March 1991.
28: N. Francez.
Fairness.
Springer-Verlag, 1986.
29: A. Gabrielian and M.K. Franklin.
State-based specification of complex real-time systems.
In Proceedings of the 9th Real-Time Systems Symposium, pages 2–11, December 1988.
30: A. Galton, editor.
Temporal logics and their applications.
Academic Press, 1987.
31: J.R. Garman.
The bug heard round the world.
ACM SIGSOFT Software Engineering Notes, 6(5), 1981.
32: R. Gerber and I. Lee.
Ccsr: A calculus for communicating shared resources.
In CONCUR'90, LNCS 458, pages 263–277. Springer-Verlag, August 1990.
33: R. Gerber and I. Lee.
A proof system for communicating shared resources.
In Proceedings of the Real-Time Systems Symposium, 1990.
34: C. Ghezzi, D. Mandrioli, and A. Morzenti.
TRIO, a logic language for executable specifications of real-time systems.
Journal of Systems and Software, 12(2):107–123, May 1990.
35: D. Gries.
The Science of Programming.
Springer-Verlag, 1985.
36: R. W. S. Hale.
Using temporal logic for prototyping: The design of a lift controller.
In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, LNCS 398. Springer-Verlag, 1989.
37: Hans A. Hansson.
Time and Probability in Formal Design and Distributed Systems.
PhD thesis, Uppsala University, Dept. of Computer Science, S-751 20 Uppsala, Sweden, 1991.
38: D. Harel.
Statecharts: A visual formalism for complex systems.
Science of Computer Programming, 8:231–274, 1987.
39: D. Harel.
Biting the silver bullet: Towards a brighter future for systems development.
Technical Report CS90-08, Weizmann Institute, 1990.
40: D. Harel.
Biting the silver bullet: Towards a brighter future for system development.
Computer, 25(1):8–20, January 1992.
41: D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, and M. Trachtenbrot.
Statemate: a working environment for the development of complex reactive systems.
IEEE Transactions on Software Engineering, 16:403–414, 1990.
42: D. Harel and A. Pnueli.
On the development of reactive systems.
In K.R Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI, pages 477–498. Springer-Verlag, 1985.
43: E. Harel, O. Lichtenstein, and A. Pnueli.
Explicit clock temporal logic.
In Proceedings of the 5th Annual Symposium on Logic in Computer Science, pages 402–413, June 1990.
44: Derek J. Hatley and Imitai A. Pirbhai.
Strategies for Real-Time System Specification.
Dorset House Publishing Co., New York, 1988.
45: M. Hennessy and T. Regan.
A process algebra for timed systems.
Technical Report 5/91, Dept. of Computer Science, University of Sussex, UK, 1991.
46: T. A. Henzinger.
The Temporal Specification and Verification of Real-Time Systems.
PhD thesis, Dept. of Computer Science, Stanford Univ., 1991.
47: T.A. Henzinger, Z. Manna, and A. Pnueli.
Temporal proof methodolgies for real-time systems.
In Proceedings of the 18th ACM Symposium on Principles of Programming Languages, pages 353–366, January 1991.
48: C. A. R. Hoare.
Communicating Sequential Processes.
Prentice-Hall, 1985.
49: C.A.R. Hoare.
An axiomatic basis for computer programming.
Communications of the ACM, 12(10), October 1969.
50: J. Hooman.
Specification and Compositional Verification of Real-Time Systems.
PhD thesis, Eindhoven University of Technology, Dep. of Maths and Comp. Sc., Eindhoven, The Netherlands, 1991.
51: J. Hooman and W.-P. de Roever.
Design and verification in real-time distributed computing: an introduction to compositional methods.
In Proceedings of of the 9th International Symposium on Protocol Specification, Testing and Verification. North-Holland, 1989.
52: J. Hooman and J. Widom.
A temporal logic based compositional proof system for real-time message passing.
In Proceedings of PARLE89 vol. II, LNCS 366. Springer-Verlag, 1989.
53: C. Huizing.
Semantics of Reactive Systems: Comparison and Full Abstraction.
PhD thesis, Technische Universiteit Eindhoven, March 1991.
54: K. Inan and P.P Varaiya.
Finitely recursive process models for discrete event systems.
IEEE Transactions on Automatic Control, 33(7):626–639, July 1988.
55: M.S. Jaffe, N.G. Leveson, M.P.E. Heimdahl, and B.E. Melhart.
Software requirements analysis for real-time process control systems.
IEEE Transactions on Software Engineering, 17(3):241–258, 241 1991.
56: F. Jahanian and A.K. Mok.
Safety analysis of timing properties in real-time systems.
IEEE Transactions on Software Engineering, SE-12(9):890–904, September 1986.
57: F. Jahanian and A.K. Mok.
A graph-theoretic approach for timing analysis and its implementation.
IEEE Transactions on Computers, C36(8), 1987.
58: F. Jahanian and D. Stuart.
A method for verifying properties of modechart specifications.
In Proceedings 9th Real-time Systems Symposium, pages 12–21. IEEE Computer Society, December 1988.
59: C.B. Jones.
Systematic Software Development using VDM.
International Series in Computer Science. Prentice-Hall, 1986.
60: M. Joseph and A. Goswami.
Formal description of real-time systems: a review.
Technical Report RR129, Dep. of Computer Science, University of Warwick, U.K., August 1988.
61: R. Koymans.
(real) time: A philosphical perspective.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
62: R. Koymans, R.K. Shyamasundar, W.P. de Roever, R. Gerth, and S. Arun-Kumar.
Compositional semantics for real-time distributed computing.
In Proceedings of Logics of Programs (Brooklyn), LNCS 193, pages 167–190. Springer-Verlag, 1985.
63: R. Koymans, J. Vytopil, and W.P. de Roever.
Real-time programming and asynchronous message passing.
In Proc. 2nd Annual Symposium on Principles of Distributed Computing, pages 187–197, Montreal, August 1983.
(An extended version appeared in Information and Computation, Volume 79, Number3, December 1988).
64: Ron Koymans.
Specifying real-time properties with metric temporal logic.
Real-Time Systems, 2(4):255–299, November 1990.
65: J. Kramer and J. Magee.
Dynamic configuration for distributed systems.
IEEE Transactions on Software Engineering, SE-11(4):424–436, April 1985.
66: F. Kroger.
Temporal Logics of Programs, volume 8 of EATCS Monographs on Theoretical Computer Science.
Springer-Verlag, 1987.
67: L. Lamport.
What good is temporal logic?
In R.E. Mason, editor, Information Processing 83, pages 657–668. Elsevier Science Publishers, North Holland, 1983.
68: L. Lamport.
The temporal logic of actions.
Technical report, DEC Systems Research Center, Palo Alto, CA, 1991.
69: L. Lamport.
Specifying concurrent program modules.
ACM Transactions on Programming Languages and Systems, 5(2):190–222, April 83.
70: L. Lamport.
`Sometime' is sometimes `not never'.
Proceedings of the 7th Annual ACM Symposium on Principles of Programming Languages, pages 174–185, Jan 1980.
71: M.S. Lawford.
Transformational equivalence of timed transition models.
Master's thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1992.
(available as Systems Control Group Report No. 9202, January 1992).
72: N.G. Leveson and J.L Stolzy.
Safety analysis using Petri nets.
IEEE Transactions on Software Engineering, SE-13(3):386–397, March 1987.
73: S.-T Levi and A.K. Agrawala.
Real Time System Design.
McGraw-Hill Publishing Company, 1990.
74: A.H. Levis.
Challenges to control: a collective view.
IEEE Transactions on Automatic Control, AC-32(4), April 1987.
75: Y. Li.
Control of Vector Discrete-Event Systems.
PhD thesis, Dept. of Electl. Engrg., Univ. of Toronto, 1991.
(available as Systems Control Group Report No 9106, July 1991).
76: INMOS Limited.
Occam programming manual.
International Series in Computer Science. Prentice-Hall, Englewood Cliffs, New Jersey, 1984.
77: N. Lynch and F. Vaandrager.
Forward and backward simulations for timing-based systems.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
(In Press).
78: G. H. MacEwen and D. B. Skillicorn.
Using higher-order logic for modular specification of real-time distributed systems.
In M. Joseph, editor, Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 331, pages 36–66. Springer-Verlag, 1988.
79: J. Magee, J. Kramer, and M. Sloman.
Constructing distributed systems in Conic.
IEEE Transactions on Software Engineering, 15(6):663–675, June 1989.
80: Z. Manna and A. Pnueli.
Specification and verification of concurrent programs by ∀-automata.
In Proceedings of the 14th ACM Symposium of Principles of Programming Languages, pages 1–12, 1987.
81: Z. Manna and A. Pnueli.
The anchored version of the temporal framework.
In J.W. de Bakker, W.P. de Roever, and G. Rozenburg, editors, Models of concurrency: linear, branching and partial orders, LNCS. Springer-Verlag, 1989.
82: Z. Manna and A. Pnueli.
The Temporal Logic of Reactive and Concurrent Systems.
Springer-Verlag, 1992.
83: Z. Manna and A. Pnueli.
Verification of concurrent programs: a temporal proof system.
Technical report, Dept. of Computer Science, Stanford University, June 1983.
See also Foundations of Computer Science IV, Amsterdam, Mathematical Center Tracts, pages 163-225, 1983.
84: Z. Manna and P. Wolper.
Synthesis of communicating processes from temporal logic specifications.
ACM Transactions on Programming Languages and Systems, 6(1):68–93, January 1984.
85: K. Marzullo, F.B. Schneider, and N. Budhiraja.
Derivation of sequential, real-time , process-control programs.
Technical Report 91-1217, Dept. of Computer Science, Cornell University, Ithaca, New York 14853, 1991.
86: B.E. Melhart, N.G. Leveson, and M.S. Jaffe.
Analysis capabilities for requirements specified in statecharts.
Technical report, Dep. of Information and Computer Science, University of California, Irvine, September 1988.
87: M. Menasche.
PAREDE: An automated tool for the analysis of time(d) Petri nets.
In International workshop on timed Petri nets, pages 162–169. IEEE Computer Society, June 1985.
88: P.M. Merlin and A. Segall.
Recoverability of communication protocols - implications of a theoretical study.
IEEE Transactions on Communications, pages 1036–1043, September 1976.
89: G.J. Milne.
CIRCAL and the representation of communication, concurrency and time.
ACM Transactions on Programming Languages and Systems, 7(2):270–298, April 1985.
90: R. Milner.
A Calculus of Communicating Systems.
LNCS 92. Springer-Verlag, 1980.
91: R. Milner.
Some directions in concurrency theory (panel statement).
In Proceedings of the International Conference on Fifth Generation Computer Systems. ICOT, 1988.
92: A.K. Mok.
Towards mechanization of real-time system design.
In Foundations of Real-Time Computing: Formal Specifications and Methods. Kluwer Press, 1991.
93: F. Moller and C. Tofts.
A temporal calculus of communicating systems.
In CONCUR 90, LNCS 458, pages 401–415. Springer-Verlag, 1990.
94: E.T. Morgan and R.R. Razouk.
Interactive state-space analysis of concurrent systems.
IEEE Transactions on Software Engineering, SE-13(10):1080–1091, October 1987.
95: B. Moszkowski.
A temporal logic for multilevel reasoning about hardware.
Computer, 18(2):10–19, February 1985.
96: K.T. Narayana and A.A. Aaby.
Specification of real-time systems in real-time temporal interval logic.
In Proceedings Real-time Systems Symposium, pages 86–95. IEEE Computer Society, December 1988.
97: X. Nicollin, J. L. Richier, J. Sifakis, and J. Voiron.
ATP: an algebra for timed processes.
In Proceedings IFIP Working Group Conference on Programming Concepts and Methods, pages 402–429, 1990.
98: X. Nicollin and J. Sifakis.
An overview and synthesis of timed process algebras.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
99: X. Nicollin, J. Sifakis, and S. Yovine.
From ATP to timed graphs and hybrid semantics.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
100: E.R. Olderog and C.A.R Hoare.
Specification oriented semantics.
ACTA Informatica, 23:9–66, 1986.
101: O.Maler, Z. Manna, and A. Pnuelli.
From timed to hybrid systems.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
102: J.S. Ostroff.
Real-time computer control of discrete event systems modelled by extended state machines: a temporal logic approach.
Technical Report 8618, Systems Control Group, Dept. of Electrical Engineering, University of Toronto, September 1986.
revised January 1987.
103: J.S. Ostroff.
Synthesis of controllers for real-time discrete event systems.
In Proceedings of the 28th IEEE Conference on Decision and Control, December 1989.
104: J.S. Ostroff.
Temporal Logic for Real-Time Systems.
Advanced Software Development Series. Research Studies Press Limited (distributed by John Wiley and Sons), England, 1989.
105: J.S. Ostroff.
Deciding properties of timed transition models.
IEEE Transactions on Parallel and Distributed Systems, 1(2):170–183, April 1990.
106: J.S. Ostroff.
Constraint logic programming for reasoning about discrete event processes.
The Journal of Logic Programming, 1991.
(In Press).
107: J.S. Ostroff.
Systematic development of real-time discrete event systems.
In Proceedings of the ECC91 European Control Conference, pages 522–533, Paris, France, July 1991. Hermes Press.
108: J.S. Ostroff.
Verification of safety critical systems using TTM/RTTL.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
(In Press).
109: J.S. Ostroff.
A verifier for real-time properties.
Real-Time Journal, 4:5–35, 1992.
(In press).
110: J.S. Ostroff and W.M. Wonham.
A framework for real-time discrete event control.
IEEE Transactions on Automatic Control, April 1990.
111: J.S. Ostroff and W.M. Wonham.
A temporal logic approach to real time control.
In Proceedings of the 24th IEEE Conference on Decision and Control, pages 656–657, Florida, December 1985.
112: S. Owicki and L. Lamport.
Proving liveness properties of concurrent programs.
ACM Transactions on Programming Languages and Systems, 4(3):455–495, Jul 1982.
113: S.S. Owicki and D. Gries.
Verifying properties of parallel programs: an axiomatic approach.
Communications of the ACM, 19(5), May 1976.
114: D.L. Parnas and J. Madey.
Functional documentation for computer systems engineering.
Technical Report TR 90-287, TRIO, Queen's University, Kingston, Ont., Canada K7L3N6, 1990.
115: D.L. Parnas, A. J. van Schouwen, and S.P. Kwan.
Evaluation standards for safety-critical software.
Technical Report TR 88-220, Department of Computer Science, Queen's University, May 1988.
116: J.L. Peterson.
Petri Net Theory and the Modelling of Systems.
Prentice-Hall, Englewood Cliffs, N.J., 1981.
117: A. Pnueli.
The temporal logic of programs.
In Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pages 46–57, Providence, R.I., November 1977.
118: A. Pnueli and E. Harel.
Applications of temporal logic to the specification of real-time systems.
In Formal Tehniques in Real-Time and Fault Tolerant Systems, LNCS 331. Springer-Verlag, 1988.
119: A. Pnueli and M. Shalev.
What is in a step?
In T. Ito and A.R. Meyer, editors, Theoretical Aspects of Computer Software, LNCS 298, pages 244–264. Springer-Verlag, 1991.
120: Amir Pnueli.
Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends.
In J. de Bakker, W.P de Roever, and G. Rozenburg, editors, Current trends in concurrency, LNCS 244. Springer-Verlag, 1986.
121: W.J. Quirk.
Verification and Validation of Real-Time Software.
Springer-Verlag, Berlin, 1985.
122: P.J. Ramadge and W.M. Wonham.
Modular feedback logic for discrete event systems.
SIAM Journal of Control and Optimization, 25(5):1202–1218, September 1987.
123: P.J. Ramadge and W.M. Wonham.
Supervisory control of a class of discrete-event processes.
SIAM Journal of Control and Optimization, 25(1):206–230, January 1987.
124: C. Ramchandani.
Analysis of asynchronous concurrent systems by timed Petri nets.
Technical Report MAC TR 120, MIT, February 1974.
125: R.R. Razouk and C.V. Phelps.
Performance analysis of timed Petri nets.
In Proceedings of 4th International Workshop on Protocol Verification and Testing, June 1984.
126: G.M. Reed and A.W. Roscoe.
A timed model for communicating sequential processes.
In Proceedings ICALP 86. Springer-Verlag, LNCS 226, 1986.
127: G.M Reed and A.W. Roscoe.
A timed model for communicating sequential processes.
Theoretical Computer Science, 58:249–261, June 1988.
128: G.M. Reed, A.W. Roscoe, et al.
Timed CSP: Theory and practice.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
129: W. Reisig.
Petri nets: an introduction.
Springer-Verlag, Berlin, 1985.
130: N. Rescher and A. Urquhart.
Temporal Logic.
Springer-Verlag, Library of Exact Philosophy, 1971.
131: F.B. Schneider, B. Bloom, and K. Marzello.
Putting time into proof outlines.
In REX Workshop — Real-Time: Theory in Practice, LNCS. Springer-Verlag, 1992.
132: S. Schneider.
Correctness and Communication in Real-Time Systems.
PhD thesis, Oxford University, 1990.
133: D. J. Scholefield.
The formal development of real-time systems.
Technical report, Dept. of Computer Science, University of York, England, 1990.
134: R.L. Schwartz and P.M. Melliar-Smith.
From state machines to temporal logic: Specification methods for protocol standards.
IEEE Transactions on Communications, Com-30(12), Dec 1982.
135: A. Shaw.
Reasoning about time in higher-level language software.
IEEE Transactions on Software Engineering, SE-15(7):875–899, July 1989.
136: J.M. Spivey.
The Z Notation: A Reference Manual.
Prentice-Hall, Englewood Cillfs, N.J., 1989.
137: J.A. Stankovic.
Misconceptions about real-time computing: a serious problem for next generation systems.
Computer, 21(10):10–19, October 1988.
138: W.M. Turski.
Time considered irrelevant for real-time systems.
BIT, 28:473–486, 1988.
139: USDOD.
Reference Manual for the Ada Programming Language.
Spinger-Verlag, New-York, 1983.
140: W.M.P van der Aalst.
Timed Coloured Petri Nets and their Application to Logistics.
PhD thesis, Eindhoven University of Technology, 1992.
(to appear).
141: P. Ward and S. Mellor.
Structured Development for Real-Time Systems.
Yourdon Press, New York, 1985.
142: N. Wirth.
Towards a discipline of real-time programming.
Communications of the ACM, 20(8), August 1977.
143: W. M. Wonham.
Linear Multivariable Control: A Geometric Approach.
Springer-Verlag, 3rd edition, 1985.
144: Wang Yi.
CCS + time = an interleaving model for real time systems.
In Proceedings of ICALP'91, 1991.
(Madrid, Spain).
145: W.M. Zubrek.
Timed Petri nets and preliminary performance evaluation.
In Proceedings 7th Annual Symposium on Computer Architecture, La Baule, France, 1980.