{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:07:47Z","timestamp":1649146067018},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,1,27]],"date-time":"2006-01-27T00:00:00Z","timestamp":1138320000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2006,4]]},"DOI":"10.1007\/s10009-005-0220-y","type":"journal-article","created":{"date-parts":[[2006,1,27]],"date-time":"2006-01-27T05:02:20Z","timestamp":1138338140000},"page":"93-96","source":"Crossref","is-referenced-by-count":1,"title":["Preface of \u201cSpecification and Validation of Real Time and Embedded systems in UML\u201d"],"prefix":"10.1007","volume":"8","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oystein","family":"Haugen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bran","family":"Selic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,1,27]]},"reference":[{"key":"220_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Dang, T., Esposito, J.M., Fierro, R.B., Hur, Y., Ivancic, F., Kumar, V., Lee, I., Mishra, P., Pappas, G. J., Sokolsky, O.: Hierarchical hybrid modeling of embedded systems. In: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8\u201310, 2001. LNCS 2211 pp. 14\u201331 (2001)","DOI":"10.1007\/3-540-45449-7_2"},{"key":"220_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comp. Sci. 126, 183\u2013235 (1994)","journal-title":"Theor. Comp. Sci."},{"key":"220_CR3","doi-asserted-by":"crossref","unstructured":"Arons, T., Hooman, J., Kugler, H., Pnueli, A., van der Zwaag, M.: Deductive verification of UML models in TLPVS. In: Proceedings UML 2004, pp. 335\u2013349. LNCS 3273, Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-30187-5_24"},{"key":"220_CR4","doi-asserted-by":"crossref","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. In: Proceedings of the IEEE, 91(1) (2003)","DOI":"10.1109\/JPROC.2002.805826"},{"key":"220_CR5","doi-asserted-by":"crossref","unstructured":"Berkenk\u00f6tter, K., Bisanz, S., Hennemann, U., Peleska, J.: Hybrid profile for UML 2.0. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)","DOI":"10.1007\/s10009-005-0211-z"},{"key":"220_CR6","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Mounier, L.: IF-2.0: A validation environment for component-based real-time systems. In: Proceedings of Conference on Computer Aided Verification, CAV'02, Copenhagen. LNCS 2404, Springer Verlag (2002)","DOI":"10.1007\/3-540-45657-0_26"},{"key":"220_CR7","doi-asserted-by":"crossref","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF toolset. In: SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. LNCS 3185 (June 2004)","DOI":"10.1007\/978-3-540-30080-9_8"},{"key":"220_CR8","unstructured":"Caspi, P., Benveniste, A., Le Guernic, P., Halbwachs, N.: A decade of concurrency, reflexions and perspeptives. In: REX Symposium, LNCS 803 (1993)"},{"key":"220_CR9","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.), FMOODS'99 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems. Kluwer Academic Publishers, 1999. J. Formal Methods Syst. Des. (July 2001)"},{"key":"220_CR10","doi-asserted-by":"crossref","unstructured":"Damm, W., Josko, B., Pnueli, A., Votintseva, A.: Understanding UML: A formal semantics of concurrency and communication in real-time UML. In: de Boer, F., Bonsangue, M., Graf, S., de Roever, W.-P. (eds.), Proceedings of the 1st Symposium on Formal Methods for Components and Objects (FMCO 2002), pp. 70\u201398. LNCS Tutorials 2852 (2003)","DOI":"10.1007\/978-3-540-39656-7_3"},{"key":"220_CR11","doi-asserted-by":"crossref","unstructured":"Damm W., Westphal, B.: Live and let die: LSC based verification of UML models. Science of Computer Programming (2004) (to appear) available at http\/\/www.sciencedirect.com\/","DOI":"10.1007\/978-3-540-39656-7_4"},{"key":"220_CR12","doi-asserted-by":"crossref","unstructured":"de Simone, R., Andr\u00e9, Ch.: Towards a \u201cSynchronous Reactive\u201d UML profile. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)","DOI":"10.1007\/s10009-005-0206-9"},{"key":"220_CR13","unstructured":"Graf, S., de Boer, F.S., Combes, P., Hooman, J., Kugler, H., Kyas, M., Lesens, D., Ober, I., Votintseva, A., Yushtein, Y., Zenou, M.: Omega final project report. Deliverable of the Omega IST project (2005)"},{"key":"220_CR14","doi-asserted-by":"crossref","unstructured":"Graf, S., Hooman, J.: Correct development of embedded systems. In: European Workshop on Software Architecture: Languages, Styles, Models, Tools, and Applications (EWSA 2004), co-located with ICSE 2004, St. Andrews, Scotland, LNCS 3047, pp. 241\u2013249. Springer-Verlag (2004)","DOI":"10.1007\/978-3-540-24769-2_21"},{"key":"220_CR15","unstructured":"Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)"},{"issue":"1","key":"220_CR16","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. i. lower bounds. J. Comp. Syst. Sci. 38(1), 195\u2013237 (1989)","journal-title":"J. Comp. Syst. Sci."},{"key":"220_CR17","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Conference on Logic in Computer Science, LICS, pp. 278\u2013292 (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"220_CR18","doi-asserted-by":"crossref","unstructured":"K\u00fcster-Filipe, J., Anderson, S.: On a time enriched OCL liveness template. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)","DOI":"10.1007\/s10009-005-0210-0"},{"key":"220_CR19","unstructured":"Kyas, M.: A compositional proof of the sieve of Eratosthenes in PVS. Technical report, University of Kiel (2004)"},{"key":"220_CR20","doi-asserted-by":"crossref","unstructured":"Kyas, M., Fecher, H., de Boer, F.S., van der Zwaag, M., Hooman, J., Arons, T., Kugler, H.: Formalizing UML models and OCL constraints in PVS. In: Workshop on Semantic Foundations of Engineering Design Languages, SFEDL 2004, ENTCS 115, pp. 39\u201347. Elsevier (2004)","DOI":"10.1016\/j.entcs.2004.09.027"},{"key":"220_CR21","doi-asserted-by":"crossref","unstructured":"Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proceedings of 17th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'02), pp. 83\u2013100. Seattle, WA (2002)","DOI":"10.1145\/582419.582429"},{"key":"220_CR22","doi-asserted-by":"crossref","unstructured":"Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)","DOI":"10.1007\/s10009-005-0205-x"},{"key":"220_CR23","unstructured":"OMG Unified Modeling Language Specification\u2014Object Constraint Language Version 2.0 (2003)"},{"key":"220_CR24","doi-asserted-by":"crossref","unstructured":"OMG.: Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad\/2002-03-04 (March 2002)","DOI":"10.1016\/S1351-4180(02)00809-7"},{"key":"220_CR25","unstructured":"OMG.: UML profile for modeling and analysis of real-time and embedded systems (February 2005)"},{"key":"220_CR26","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: A metamodel for OCL. In: France, R., Rumpe, B. (eds.), UML'99\u2014The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330. 1999, Proceedings, LNCS 1723. Springer (1999)","DOI":"10.1007\/3-540-46852-8_12"},{"key":"220_CR27","doi-asserted-by":"crossref","unstructured":"Schinz, I., Toben, T., Mrugalla, C., Westphal, B.: The Rhapsody UML verification environment. In: 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), pp. 174\u2013183. IEEE Computer Society (2004)","DOI":"10.1109\/SEFM.2004.1347518"},{"key":"220_CR28","unstructured":"van der Zwaag, M., Hooman, J.: A semantics of communicating reactive objects with timing. STTT, Int. J. Softw. Tools Technol. Transf. (this volume) (2005)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0220-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-005-0220-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-005-0220-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T03:25:22Z","timestamp":1559100322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-005-0220-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1,27]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["220"],"URL":"https:\/\/doi.org\/10.1007\/s10009-005-0220-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1,27]]}}}