@inproceedings{7f4eec243496479e9045471cd64a8242,
title = "Refinement of time",
abstract = "We introduce a mathematical model of the limed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with discrete or with continuous time, and dense streams with continuous time. We inlroduce a notion of a timed system component and formulate requirements for the time flow. We show how to compose timed systems in a modular way. We show that the introduction of time into a system model as well as the change of the timing model in the system development process is a refinement step.",
author = "Manfred Broy",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 1997 ; Conference date: 21-05-1997 Through 23-05-1997",
year = "1997",
doi = "10.1007/3-540-63010-4_4",
language = "English",
isbn = "3540630104",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "44--63",
editor = "Miquel Bertran and Teodor Rus",
booktitle = "Transformation-Based Reactive Systems Development - 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS 1997, Proceedings",
}