{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:14:23Z","timestamp":1737090863184,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540694885"},{"type":"electronic","value":"9783540694892"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69489-2_16","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T20:22:20Z","timestamp":1179260540000},"page":"126-130","source":"Crossref","is-referenced-by-count":3,"title":["Modelling and Analysis of Real Time and Embedded Systems \u2013 Using UML"],"prefix":"10.1007","author":[{"given":"Susanne","family":"Graf","sequence":"first","affiliation":[]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[]},{"given":"Bran","family":"Selic","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Andr\u00e9, C., Cuccuru, A., de Simone, R., Gautier, T., Mallet, F., Talpin, J.P.: Modelling with logical time in UML for real-time embedded system design. In: [GGH+06]"},{"key":"16_CR2","unstructured":"Colombo, P., Del Bianco, V., Lavazza, L., Coen-Porisini, A.: An Experience in modelling real-time systems with SysML. In: [GGH+06]"},{"key":"16_CR3","unstructured":"Espinoza, H., Dubois, H., G\u00e9rard, S., Medina, J., Petriu, D.C., Woodside, M.: Annotating UML Models with Non-Functional Properties for Quantitative Analysis. In: [GGH+05]"},{"key":"16_CR4","unstructured":"Espinoza, H., Medina, J., Dubois, H., Gerard, S., Terrier, F.: Towards a UML-based Modelling Standard for Schedulability Analysis of Real-time systems. In: [GGH+06]"},{"key":"16_CR5","unstructured":"Esterel Technologies: The Scade and Esterel development environments. See also, http:\/\/www.esterel-technologies.com\/"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"S. G\u00e9rard","year":"2006","unstructured":"G\u00e9rard, S., Graf, S., Haugen, O., Ober, I., Selic, B.: MARTES 2005, Workshop on Modelling and Analysis of Real Time and Embedded Systems. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, Springer, Heidelberg (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"G\u00e9rard, S., Graf, S., Haugen, O., Ober, I., Selic, B(ed.): MARTES 2006, Workshop on Modelling and Analysis of Real Time and Embedded Systems. Research Report 343, Univ. of Oslo, Department of Informatics (October 2006)","DOI":"10.1007\/11663430_7"},{"key":"16_CR8","unstructured":"Giese, H., Henkler, S., Hirsch, M.: Analysis and Modelling of Real-Time Systems with Mechatronic UML taking Clock Drift into Account. In: [GGH+06]"},{"key":"16_CR9","unstructured":"Graf, S., Ober, I., Ober, I.: Timed annotations in UML. STTT, Int. Journal on Software Tools for Technology Transfer (April 2006)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69489-2_17","volume-title":"Models in Software Engineering","author":"O. Halvorsen","year":"2007","unstructured":"Halvorsen, O., Kobro Runde, R., Haugen, \u00d8.: Time Exceptions in Sequence Diagrams. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, Springer, Heidelberg (2007)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69489-2_18","volume-title":"Models in Software Engineering","author":"A. Nechypurenko","year":"2007","unstructured":"Nechypurenko, A., Wuchner, E., White, J., Schmidt, D.C.: Applying Model Intelligence Frameworks for Deployment Problem in Real Time and Embedded Systems. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, Springer, Heidelberg (2007)"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Ober, I., Graf, S., Ober, I.: Validating timed UML models by simulation and verification. Int. Journal on Software Tools for Technology Transfer (April 2006)","DOI":"10.1007\/s10009-005-0205-x"},{"key":"16_CR13","unstructured":"Prochnow, S., Sch\u00e4fer, G., Bell, K., von Hanxleden, R.: Analyzing Robustness of UML State Machines. In: [GGH+06]"},{"key":"16_CR14","unstructured":"Rouxel, S., Gogniat, G., Diguet, J-P., Philippe, J-L., Moy, C.: A3S method and tools for analysis of real time embedded systems. In: [GGH+06]"},{"key":"16_CR15","unstructured":"Julie, A.: Street and Hassan Gomaa An Approach to Performance Modelling of Software Product Lines. In: [GGH+06]"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69489-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:53:38Z","timestamp":1737017618000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69489-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540694885","9783540694892"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69489-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}