@inbook{f48e8b194f2343d98a30b2adb2187f3f,
title = "Communication patterns for expressing real-time requirements using MSC and their application to testing",
abstract = "This paper introduces real-time communication patterns (RTC-patterns) for capturing real-time requirements of communication systems. RTC-patterns for some of the most common real-time requirements are presented. They are formalized by using Message Sequence Charts (MSCs). The application of RTC-patterns to testing is explained by an example. The example shows how real-time requirements which are expressed using RTC-patterns can be related to TIMEDTTCN-3 evaluation functions.",
author = "Helmut Neukirchen and Dai, \{Zhen Ru\} and Jens Grabowski",
year = "2004",
doi = "10.1007/978-3-540-24704-3\_10",
language = "English",
isbn = "3540212191",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "144--159",
editor = "Roland Groz and Hierons, \{Robert M.\}",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
}