{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:13:41Z","timestamp":1725725621549},"publisher-location":"Boston, MA","reference-count":22,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475745351"},{"type":"electronic","value":"9780387354095"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-0-387-35409-5_1","type":"book-chapter","created":{"date-parts":[[2013,5,11]],"date-time":"2013-05-11T14:45:21Z","timestamp":1368283521000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["A Methodology for Complex Embedded Systems Design"],"prefix":"10.1007","author":[{"given":"R. J.","family":"Machado","sequence":"first","affiliation":[]},{"given":"J. M.","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"H. D.","family":"Santos","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I. (1999). The Unified Modeling Language User Guide,Addison-Wesley."},{"key":"1_CR2","unstructured":"David, R., Alla, H. (1992). Petri Nets and GRAFCET: Tools for Modelling Discrete Event Systems,Prentice-Hall."},{"key":"1_CR3","unstructured":"Douglass, B. P. (1998). Real-Time UML: Developing Efficient Objects for Embedded Systems,Addison-Wesley."},{"key":"1_CR4","volume-title":"Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol. 674, pp. 148-168, Springer-Verlag","author":"R Fehling","year":"1993","unstructured":"Fehling, R. (1993). \u201cA Concept of Hierarchical Petri Nets with Building Blocks.\u201d Advances in Petri Nets\n                  1993, Lecture Notes in Computer Science, vol. 674, pp. 148\u2013168, Springer-Verlag."},{"key":"1_CR5","volume-title":"Modeling Industrial Embedded Systems with UML","author":"JM Fernandes","year":"2000","unstructured":"Fernandes, J. M., Machado, R. J., Santos, H. D. (2000). \u201cModeling Industrial Embedded Systems with UML.\u201d 8th IEEE\/IFIP\/ACM International Workshop on Hardware\/Software Co-Design - CODES\u20192000, pp. 18\u201322, San Diego, U.S.A., May, 2000, ACM Press."},{"key":"1_CR6","unstructured":"Gajski, D., Vahid, F., Narayan, S. (1994). Specification and Design of Embedded Systems,Prentice-Hall."},{"key":"1_CR7","unstructured":"Jacobson, I., Christerson, M., Jonsson, P., \u00d6vergaard, G. (1992). Object-Oriented Software Engineering: A Use Case Driven Approach,Addison-Wesley."},{"key":"1_CR8","unstructured":"Jensen, K. (1992). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use,vol. I, Springer-Verlag."},{"key":"1_CR9","first-page":"210","volume-title":"Modeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML","author":"R Jigorea","year":"2000","unstructured":"Jigorea, R., Manolache, S., Eles, P., Peng, Z. (2000). \u201cModeling of Real-Time Embedded Systems in an Object-Oriented Design Environment with UML.\u201d 3rd IEEE International Symposium on Object-Oriented Real-Time, Distributed Computing\u2013ISORC \u20182000, pp. 210\u2013203, Newport Beach, U.S.A., March."},{"key":"1_CR10","volume-title":"2nd International Conference on the Unified Modeling Language - UML99","author":"L Kabous","year":"1999","unstructured":"Kabous, L., Nebel, W. (1999). \u201cModeling Hard Real-Time Systems with UML: The OOHARTS Approach.\u201d 2nd International Conference on the Unified Modeling Language - UML\u201999, Fort Collins, U.S.A., October."},{"key":"1_CR11","volume-title":"Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems","author":"B Kleinjohann","year":"1997","unstructured":"Kleinjohann, B., Tacken, J., Tahedl, C. (1997). \u201cTowards a Complete Design Method for Embedded Systems Using Predicate\/Transition-Nets.\u201d Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems, chapter 1, pp. 4\u201323, C. Delgado Kloos e E. Cerny (editors), Chapman and Hall."},{"key":"1_CR12","volume-title":"1st Workshop on Object-Oriented Programming and Models of Concurrency","author":"C Lakos","year":"1995","unstructured":"Lakos, C. (1995). \u201cThe Object Orientation in Object Petri Nets.\u201d 1st Workshop on Object-Oriented Programming and Models of Concurrency, Torino, Italy."},{"key":"1_CR13","volume-title":"International Workshop on the Unified Modeling Language: Beyond the Notation - UML98","author":"A Lanusse","year":"1998","unstructured":"Lanusse, A., G\u00e9rard, S., Terrier, F. (1998). \u201cReal-Time Modeling with UML: The ACCORD Approach.\u201d International Workshop on the Unified Modeling Language: Beyond the Notation - UML\u201998, Mulhouse, France."},{"key":"1_CR14","volume-title":"UML for Real-Time Overview","author":"A Lyons","year":"1998","unstructured":"Lyons, A. (1998). UML for Real-Time Overview, ObjecTime Limited, April."},{"key":"1_CR15","volume-title":"Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems","author":"RJ Machado","year":"1997","unstructured":"Machado, R. J., Fernandes, J. M., Proen\u00e7a, A. J. (1997a). \u201cSoFHIA: A CAD Environment to Design Digital Control Systems.\u201d Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems, chapter 10, pp. 86\u201388, C. Delgado Kloos e E. Cerny (editors), Chapman and Hall."},{"key":"1_CR16","first-page":"78","volume-title":"Specification of Industrial Digital Controllers with Object-Oriented Petri Nets","author":"RJ Machado","year":"1997","unstructured":"Machado, R. J., Femandes, J. M., Proen\u00e7a, A. J. (1997b). \u201cSpecification of Industrial Digital Controllers with Object-Oriented Petri Nets \u201d IEEE International Symposium on Industrial Electronics\u2013ISIE\u201997, vol. I, pp. 78\u201383, Guimar\u00e2es, Portugal, July."},{"key":"1_CR17","first-page":"269","volume-title":"An Object-Oriented Model for Rapid-Prototyping of Data Path\/Control Systems - A Case Study","author":"RJ Machado","year":"1998","unstructured":"Machado, R. J., Femandes, J. M., Proen\u00e7a, A. J. (1998a). \u201cAn Object-Oriented Model for Rapid-Prototyping of Data Path\/Control Systems\u2013A Case Study.\u201d 9th IFAC\/IFIP Symposium on Information Control in Manufacturing\u2013INCOM\u201998, vol. II, pp. 269\u2013274, Nancy and Metz, France, June."},{"key":"1_CR18","first-page":"229","volume-title":"Hierarchical Mechanisms for High-level Modeling and Simulation of Digital Systems","author":"RJ Machado","year":"1998","unstructured":"Machado, R. J., Fernandes, J. M., Proen\u00e7a, A. J. (1998b). \u201cHierarchical Mechanisms for High-level Modeling and Simulation of Digital Systems.\u201d 5th IEEE International Conference on Electronics, Circuits and Systems\u2013ICECS \u201888, vol. III, pp. 229\u2013232, Lisbon, Portugal, September."},{"key":"1_CR19","volume-title":"Hardware Design and Petri Nets","author":"RJ Machado","year":"2000","unstructured":"Machado, R. J., Fernandes, J. M., Esteves, A. J., Santos, H. D. (2000). \u201cAn Evolutionary Approach to the Use of Petri Net based Models: From Parallel Controllers to HW\/SW Co-Design.\u201d Hardware Design and Petri Nets, chapter 11, pp. 205\u2013222, A. Yakovlev, L. Gomes e L. Lavagno (editors), Kluwer Academic Publishers."},{"key":"1_CR20","volume-title":"Dr. Dobbs Journal","author":"M Mclaughin","year":"1998","unstructured":"McLaughin, M., Moore, A. (1998). \u201cReal-Time Extensions to UML.\u201d Dr. Dobb\u2019s Journal, (292),82\u201393, December."},{"key":"1_CR21","volume-title":"1st Workshop on Hardware Design and Petri Nets - HWPN98","author":"M Sgroi","year":"1998","unstructured":"Sgroi, M., Lavagno, L., Watanabe, Y., Sangiovanni-Vincentelli, A. (1998). \u201cQuasi-Static Scheduling of Embedded Software Using Free-Choice Petri Nets.\u201d 1st Workshop on Hardware Design and Petri Nets - HWPN\u201998, Lisbon, Portugal, June."},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P Zave","year":"1984","unstructured":"Zave, P. (1984). \u201cThe Operational vs. the Conventional Approach.\u201d Communications of the ACM, 27 (2): 104\u201318, 1984.","journal-title":"Communications of the ACM"}],"container-title":["IFIP Advances in Information and Communication Technology","Architecture and Design of Distributed Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35409-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T21:11:45Z","timestamp":1557609105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35409-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9781475745351","9780387354095"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35409-5_1","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2001]]}}}