{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:02Z","timestamp":1725664142841},"publisher-location":"Berlin, Heidelberg","reference-count":68,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540589518"},{"type":"electronic","value":"9783540491675"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-58951-1_103","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:56:10Z","timestamp":1330275370000},"page":"165-186","source":"Crossref","is-referenced-by-count":2,"title":["The role of the software engineer in real-time software development: An introductory course"],"prefix":"10.1007","author":[{"given":"Carol L.","family":"Hoover","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","unstructured":"Abbott, R.; and Garcia-Molina, H. (1988). Scheduling Real-Time Transactions: A Performance Evaluation. Princeton University, Dept. of Computer Science Technical Report CS-TR-146-88, Princeton, N.J."},{"key":"17_CR2","volume-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","author":"H. Attiya","year":"1991","unstructured":"Attiya, H.; and Lynch, N. A. (1991). Theory of Real-Time Systems: Project Survey. Foundations of Real-Time Computing: Formal Specifications and Methods. van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"key":"17_CR3","volume-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","author":"G. S. Avrunin","year":"1991","unstructured":"Avrunin, G. S.; and Wileden, J. C. (1991). Automated Analysis of Concurrent and Real-Time Software. Foundations of Real-Time Computing: Formal Specifications and Methods. van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Bagrodia, R.; and Shen, C. (1991). Integrated Design, Simulation, and Verification of Real-Time Systems. 11th International Conference on Distributed Computing Systems, May 20\u201324, pp. 164\u2013171.","DOI":"10.1109\/ICDCS.1991.148660"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Baker, T.; and Pazy, O. (1991). Real-Time Features for Ada 9X. Proceedings of the 12th IEEE Real-Time Systems Symposium, Dec. 4\u20136, pp. 172\u2013180.","DOI":"10.1109\/REAL.1991.160371"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Baker, T.P.; and Shaw, A. (1988). The Cyclic Executive Model and Ada. Proceedings of the 9th IEEE Real-Time Systems Symposium, Dec. 6\u20138, pp. 120\u2013129.","DOI":"10.1109\/REAL.1988.51108"},{"key":"17_CR7","first-page":"1","volume":"31","author":"J. Blazewicz","year":"1987","unstructured":"Blazewicz, J. (1987). Selected Topics in Scheduling Theory. Annals of Discrete Mathematics, Vol. 31, pp. 1\u201360.","journal-title":"Annals of Discrete Mathematics"},{"key":"17_CR8","volume-title":"Software Tools and Techniques for Embedded Distributed Processing","author":"H. C. Conn","year":"1986","unstructured":"Conn, H. C. et al. (1986). Software Tools and Techniques for Embedded Distributed Processing. Noyes Publications, Park Ridge, N. J."},{"key":"17_CR9","volume-title":"An Introduction to Distributed and Parallel Computing","author":"J.M. Crichlow","year":"1988","unstructured":"Crichlow, J.M. (1988). Operating Systems for Distributed and Parallel Computing. An Introduction to Distributed and Parallel Computing. Prentice Hall, Englewood Cliffs, N.J."},{"issue":"No.3","key":"17_CR10","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1080\/09298219308570633","volume":"22","author":"R.B. Dannenberg","year":"1993","unstructured":"Dannenberg, R.B. (Aug., 1993). Software Support for Interactive Multimedia Performance. Interface, Vol. 22, No. 3, pp. 213\u2013228.","journal-title":"Interface"},{"issue":"No.9","key":"17_CR11","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1145\/48529.48534","volume":"31","author":"A. M. Davis","year":"1988","unstructured":"Davis, A. M. (Sept 1988). A Comparison of Techniques for the Specification of External System Behavior. Communications of the ACM, Vol. 31, No. 9, pp. 1098\u20131115.","journal-title":"Communications of the ACM"},{"issue":"No.3","key":"17_CR12","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1145\/42392.42397","volume":"31","author":"S. R. Faulk","year":"1988","unstructured":"Faulk, S. R.; and Parnas, D. L. (March 1988). On Synchronization in Hard-Real-Time Systems. Communications of the ACM, Vol. 31, No. 3, pp. 274\u2013287.","journal-title":"Communications of the ACM"},{"issue":"No.5","key":"17_CR13","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1109\/52.156894","volume":"9","author":"Faulk","year":"1992","unstructured":"Faulk et al. (Sept. 1992). The Core Method for Real-Time Requirements. IEEE Software, Vol. 9, No. 5, pp. 22\u201333.","journal-title":"IEEE Software"},{"issue":"No.3","key":"17_CR14","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/356698.356700","volume":"9","author":"M. J. Gonzalez Jr.","year":"1977","unstructured":"Gonzalez, Jr., M. J. (1977). Deterministic Processor Scheduling. Computing Surveys, Vol. 9, No. 3, pp. 173\u2013204.","journal-title":"Computing Surveys"},{"key":"17_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0167-5060(08)70356-X","volume":"5","author":"R. L. Graham","year":"1979","unstructured":"Graham, R. L.; Lawler, E. L.; Lenstra, J. K.; and Rinnooy Kan, A. H. G. (1979). Optimization and Approximation in Deterministic Sequencing and Scheduling: A Survey. Annals of Discrete Mathematics, Vol. 5, pp. 287\u2013326.","journal-title":"Annals of Discrete Mathematics"},{"key":"17_CR16","doi-asserted-by":"crossref","first-page":"180","DOI":"10.1007\/3-540-55963-9_50","volume-title":"Proceedings of the Software Engineering Education: SEI Conference, Oct. 5\u20137","author":"I. Haikala","year":"1992","unstructured":"Haikala, I.; and Marijarvi, J. (1992). (Continuing) Education of Software Professionals. Proceedings of the Software Engineering Education: SEI Conference, Oct. 5\u20137, Springer-Verlag, Berlin, pp. 180\u2013193."},{"key":"17_CR17","volume-title":"Strategies for Real-Time System Specification","author":"D. J. Hatley","year":"1987","unstructured":"Hatley, D. J.; and Pirbhai, I. A. (1987). Strategies for Real-Time System Specification. Dorset House, New York."},{"issue":"Nos.1&2","key":"17_CR18","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF01840468","volume":"2","author":"B. Hayes-Roth","year":"1990","unstructured":"Hayes-Roth, Barbara. (May 1990). Architectural Foundations for Real-Time Performance in Intelligent Agents. Real-Time Systems, Vol. 2, Nos. 1&2, pp. 99\u2013125.","journal-title":"Real-Time Systems"},{"key":"17_CR19","unstructured":"Hood, P.; and Grover, V. (1986). Designing Real-Time Systems in Ada. SofTech, Inc., Technical Report 1123-1."},{"key":"17_CR20","unstructured":"Hoover, C. L. (1993). TAP-D: A Model for Developing Specialization Tracks in Graduate Software Engineering Education. Carnegie Mellon University, School of Computer Science Technical Report CMU-CS-93-181, Pittsburgh, Pa."},{"key":"17_CR21","doi-asserted-by":"crossref","unstructured":"Howes, N.R. (1991). Real-Time Ada Design Methodologies and Their Impact on Performance. Institute for Defense Analysis Paper P-2488, Arlington, Va.","DOI":"10.21236\/ADA237259"},{"key":"17_CR22","unstructured":"Huang, J. (1991). Real-Time Transaction Processing: Design, Implementation and Performance Evaluation. University of Massachusetts at Amherst, Dept. of Computer and Information Science Technical Report 91-41, Amherst, Mass."},{"key":"17_CR23","unstructured":"Isherwood, D. (1991). Dos and Real Time? IEE Third International Conference on Software Engineering for Real-Time Systems, Sept. 16\u201318, pp. 79\u201385."},{"issue":"No.9","key":"17_CR24","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","volume":"SE-12","author":"F. Jahanian","year":"1986","unstructured":"Jahanian, F.; and Mok, A. K. L. (Sept. 1986). Safety Analysis of Timing Properties in Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, pp. 890\u2013904.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Jha, R.; and Eisenhauer, G. (1989). Distributed Ada-Approach and Implementation. TRI-Ada Proceedings, Oct. 23\u201326, pp. 439\u2013449.","DOI":"10.1145\/74261.74294"},{"issue":"No.9","key":"17_CR26","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/TSE.1986.6313049","volume":"SE-12","author":"E. Kligerman","year":"1986","unstructured":"Kligerman, E.; and Stoyenko, A. D. (Sept. 1986). Real-Time Euclid: Language for Reliable Real-Time Systems. IEEE Transactions on Software Engineering, Vol. SE-12, No. 9, pp. 941\u2013949.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No.1","key":"17_CR27","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00365465","volume":"4","author":"C.M. Krishna","year":"1992","unstructured":"Krishna, C.M.; and Lee, Y.H. (March 1992). Workshop Report: 1991 Workshop on Architectural Aspects of Real-Time Systems. Real-Time Systems, Vol. 4, No. 1, pp. 85\u201387.","journal-title":"Real-Time Systems"},{"issue":"No.5","key":"17_CR28","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/2.76283","volume":"24","author":"J. Lala","year":"1991","unstructured":"Lala, J.; Harper, R.; and Alger, L. (May 1991). A Design Approach for Ultrareliable Real-Time Systems. Computer, Vol. 24, No. 5, pp. 12\u201322.","journal-title":"Computer"},{"key":"17_CR29","volume-title":"Real-Time Systems Design and Analysis: An Engineer's Handbook","author":"P. A. Laplante","year":"1993","unstructured":"Laplante, P. A. (1993). Real-Time Systems Design and Analysis: An Engineer's Handbook. IEEE Press, Piscataway, N. J."},{"key":"17_CR30","unstructured":"Lawson, J. T.; and Mariani, M. P. (1979). Distributed Data Processing System Design \u2014 A Look at the Partitioning Problem. Tutorial: Distributed Systems Design, IEEE Computer Society Press, pp. 225\u2013230."},{"issue":"No.9","key":"17_CR31","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/122012.122015","volume":"11","author":"P. Lee","year":"1991","unstructured":"Lee, P.; and Nehman, W. (Nov.-Dec. 1991). An Overview of Real-Time Issues and Ada. ACM Ada Letters, Vol. 11, No. 9, pp. 83\u201395.","journal-title":"ACM Ada Letters"},{"key":"17_CR32","volume-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","author":"I. Lee","year":"1991","unstructured":"Lee, I.; Davidson, S.; and Gerber, R. (1991). Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation. Foundations of Real-Time Computing: Formal Specifications and Methods, van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"key":"17_CR33","volume-title":"Foundations of Real-Time Computing Scheduling and Resource Management","author":"J. P. Lehoczky","year":"1991","unstructured":"Lehoczky, J. P.; Sha, L.; Strosnider, J. K.; and Tokuda, Hide. (1991). Fixed Priority Scheduling Theory for Hard Real-Time Systems. Foundations of Real-Time Computing Scheduling and Resource Management, van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Le Lann, G. (1990). Critical Issues for the Development of Distributed Real-Time Computing Systems. Proceedings of the Second IEEE Workshop on Future Trends of Distributed Computing Systems, Sept. 30-Oct. 2, pp. 96\u2013105.","DOI":"10.1109\/FTDCS.1990.138302"},{"issue":"No.2","key":"17_CR35","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/7474.7528","volume":"18","author":"H.G. Leveson","year":"1986","unstructured":"Leveson, H.G. (June 1986). \u201cSoftware Safety: Why, What, and How\u201d. Computing Surveys, Vol. 18, No. 2, pp. 125\u2013163.","journal-title":"Computing Surveys"},{"issue":"No.1","key":"17_CR36","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"C. L. Liu","year":"1973","unstructured":"Liu, C. L.; and Layland, J. W. (1973). Scheduling Algorithms for Multiprogramming in a Hard Real Time Environment. Journal of the ACM, Vol. 20, No. 1, pp. 46\u201361.","journal-title":"Journal of the ACM"},{"issue":"No.1","key":"17_CR37","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/BF00365463","volume":"4","author":"C. D. Locke","year":"1992","unstructured":"Locke, C. D. (March 1992). Software Architecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executive. Real-Time Systems, Vol. 4, No. 1, pp. 37\u201353.","journal-title":"Real-Time Systems"},{"key":"17_CR38","doi-asserted-by":"crossref","unstructured":"Locke, C.D.; Vogel, D.R.; and Mesler, T.J. (1991). Building a Predictable Avionics Platform in Ada: A Case Study. Proceedings of the Twelfth Real-Time System Symposium, Dec. 4\u20136, pp. 181\u2013189.","DOI":"10.1109\/REAL.1991.160372"},{"key":"17_CR39","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BFb0024286","volume-title":"Proceedings of the Software Engineering Education: SEI Conference, Oct. 7 & 8","author":"P. Mann","year":"1991","unstructured":"Mann, P.; Mason, A.; and Norris, M.T. (1991). Industrial Training for Software Engineers. Proceedings of the Software Engineering Education: SEI Conference, Oct. 7 & 8, Springer-Verlag, Berlin, pp. 99\u2013113."},{"key":"17_CR40","first-page":"235","volume-title":"Proceedings of the Software Engineering Education: SEI Conference, Oct. 7 & 8","author":"C. Marchewka","year":"1991","unstructured":"Marchewka, C. (1991). Teaching Software Engineering for Real-Time Design. Proceedings of the Software Engineering Education: SEI Conference, Oct. 7 & 8, Springer-Verlag, Berlin, pp. 235\u2013244."},{"key":"17_CR41","doi-asserted-by":"crossref","unstructured":"McQuown, K. L. (1989). Object Oriented Design in a Real-Time Multiprocessor Environment. Proceedings of TRI-Ada, Oct. 23\u201326, pp. 570\u2013588.","DOI":"10.1145\/74261.74304"},{"key":"17_CR42","unstructured":"Mercer C. W. (1992). An Introduction to Real-Time Operating Systems: Scheduling Theory. Carnegie Mellon University, School of Computer Science Working Paper, Pittsburgh, Pa."},{"key":"17_CR43","volume-title":"Foundations of Real-Time Computing: Formal Specifications and Methods","author":"A. K. Mok","year":"1991","unstructured":"Mok, A. K. (1991). Towards Mechanization of Real-Time Systems Design. Foundations of Real-Time Computing: Formal Specifications and Methods. van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"volume-title":"Distributed Systems","year":"1989","key":"17_CR44","unstructured":"Mullender, S., ed. (1989). Distributed Systems. ACM Press, New York."},{"issue":"No.5","key":"17_CR45","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.76285","volume":"24","author":"J. Muppala","year":"1991","unstructured":"Muppala, J.; Woolet, S.; and Trivedi, K. (May 1991). Real-Time Systems Performance in the Presence of Failures. Computer, Vol. 24, No. 5, pp. 37\u201347.","journal-title":"Computer"},{"issue":"No.5","key":"17_CR46","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/2.76286","volume":"24","author":"C. Park","year":"1991","unstructured":"Park, C.; and Shaw, A. (May 1991). Experiments with a Program Timing Tool Based on Source Level Timing Scheme. Computer, Vol. 24, No. 5, pp. 48\u201357.","journal-title":"Computer"},{"issue":"No.3","key":"17_CR47","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/TSE.1985.232209","volume":"SE-11","author":"D.L. Parnas","year":"1985","unstructured":"Parnas, D.L.; Clements, P.C.; and Weiss, D.M. (March 1985). The Modular Structure of Complex Systems. IEEE Transactions on Software Engineering, Vol. SE-11, No. 3, pp. 259\u2013266.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"No.2","key":"17_CR48","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P.; and Koza, C. (Sept. 1989). Calculating the Maximum Execution Time of Real-Time Programs. Real-Time Systems, Vol. 1, No. 2, pp. 159\u2013176.","journal-title":"Real-Time Systems"},{"issue":"No.4","key":"17_CR49","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/MM.1986.304774","volume":"6","author":"J. F. Ready","year":"1986","unstructured":"Ready, J. F. (Aug. 1986). VRTX: A Real-Time Operating System for Embedded Microprocessor Applications. IEEE Micro, Vol. 6, No. 4, pp. 8\u201317.","journal-title":"IEEE Micro"},{"key":"17_CR50","unstructured":"Salem, F.K.; AL-Rowaihi; and Rodd, M.G. (1991). An Object-Oriented Approach to Modeling Real-Time Software. IEEE Third International Conference on Software Engineering for Real-Time Systems, Sept. 16\u201318, pp. 69\u201371."},{"key":"17_CR51","volume-title":"Mission Critical Operating Systems","author":"T.G. Saponas","year":"1992","unstructured":"Saponas, T.G.; and Demuth, R. B. (1992). The Distributed iRMX Operating System: A Real-Time Distributed System. Mission Critical Operating Systems. Agrawala, A. K.; Gordon, K. D.; and Hwang, P., eds., IOS Press, Amsterdam."},{"issue":"No.4","key":"17_CR52","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.55469","volume":"23","author":"L. Sha","year":"1990","unstructured":"Sha, L.; and Goodenough, J. B. (April 1990). Real-Time Scheduling Theory and Ada. Computer, Vol. 23, No. 4, pp. 53\u201362.","journal-title":"Computer"},{"issue":"No.1","key":"17_CR53","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/5.259427","volume":"82","author":"L. Sha","year":"1994","unstructured":"Sha, L.; and Sathaye, S.S. (Jan. 1994). Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real-Time Systems. Proceedings of the IEEE, Vol. 82, No. 1, pp. 68\u201382.","journal-title":"Proceedings of the IEEE"},{"issue":"No.9","key":"17_CR54","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/2.231276","volume":"26","author":"L. Sha","year":"1993","unstructured":"Sha, L.; and Sathaye, S.S. (Sept. 1993). A Systematic Approach to Designing Distributed Real-Time Systems. Computer, Vol. 26, No. 9, pp. 68\u201378.","journal-title":"Computer"},{"issue":"No.5","key":"17_CR55","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/2.76284","volume":"24","author":"K. Shin","year":"1991","unstructured":"Shin, K. (May 1991). HARTS: A Distributed Real-Time Architecture. Computer, Vol. 24, No. 5, pp. 25\u201335.","journal-title":"Computer"},{"key":"17_CR56","volume-title":"Foundations of Real-Time Computing: Scheduling and Resource Management","author":"S. H. Son","year":"1991","unstructured":"Son, S. H.; Lin, Y.; and Cook, R. P. (1991). Concurrency Control in Real-Time Database Systems. Foundations of Real-Time Computing: Scheduling and Resource Management, van Tilborg, A. M.; and Koob, G. M., eds. Kluwer Academic Publishers, Boston."},{"key":"17_CR57","volume-title":"Distributed Systems","author":"A. Z. Spector","year":"1989","unstructured":"Spector, A. Z. (1989). Achieving Application Requirements on Distributed Systems Architectures. Distributed Systems. Mullendar, S., ed., ACM Press, New York."},{"issue":"No.1","key":"17_CR58","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF02341920","volume":"1","author":"B. Sprunt","year":"1989","unstructured":"Sprunt, B.; Sha, L.; and Lehoczky, J. P. (June 1989). Aperiodic Task Scheduling for Hard Real-Time Systems. Real-Time Systems, Vol. 1, No. 1, pp. 27\u201360.","journal-title":"Real-Time Systems"},{"key":"17_CR59","unstructured":"Stankovic, J. A. (1988). Real-Time Computing Systems: The Next Generation. Tutorial: Hard Real-Time Systems. Stankovic, J. A.; and Ramamritham, K., eds., IEEE Computer Society Press, pp. 13\u201338."},{"issue":"No.3","key":"17_CR60","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/71021.71024","volume":"23","author":"J. A. Stankovic","year":"1989","unstructured":"Stankovic, J. A.; and Ramamritham, K. (July 1989). The Spring Kernel: A New Paradigm for Real-Time Operating Systems. ACM Operating Systems Review, Vol. 23, No. 3, pp. 54\u201371.","journal-title":"ACM Operating Systems Review"},{"key":"17_CR61","doi-asserted-by":"crossref","unstructured":"Stewart, D.B.; and Khosla, P.K. (May 1991). Real-Time Scheduling of Sensor-Based Control Systems. Proceedings of the IFAC\/IFIP Workshop, May 15\u201317, pp. 139\u2013144.","DOI":"10.1016\/S1474-6670(17)51285-9"},{"issue":"No.6","key":"17_CR62","doi-asserted-by":"crossref","first-page":"1282","DOI":"10.1109\/21.199456","volume":"22","author":"D.B. Stewart","year":"1992","unstructured":"Stewart, D.B.; Schmitz, D.E.; and Khosla, P.K. (Nov.\u2013Dec. 1992). The Chimera II Real-Time Operating System for Advanced Sensor-Based Control Applications. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 22, No. 6, pp. 1282\u20131295.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"17_CR63","doi-asserted-by":"crossref","unstructured":"Stewart, D.B.; Volpe, R.A.; and Khosla, P.K. (1992). Integration of Real-Time Software Modules for Reconfigurable Sensor-Based Control Systems. IEEE\/RSJ International Conference on Intelligent Robots and Systems, July 7\u201310.","DOI":"10.1109\/IROS.1992.587358"},{"key":"17_CR64","unstructured":"Tokuda, H.; Nakajima, T.; and Rao, P. (Oct. 1990). Real-Time Mach: Towards a Predictable Real-Time System. Proceedings of the Usenix Mach Workshop, pp. 1\u201310."},{"key":"17_CR65","volume-title":"Structured Development for Real-Time Systems. Vols. 1\u20133","author":"S.J. Ward","year":"1985","unstructured":"Ward, S.J.; and Mellor, P.T. (1985). Structured Development for Real-Time Systems. Vols. 1\u20133. Yourdon Press, Prentice-Hall Co., Englewood Cliffs, N. J."},{"key":"17_CR66","volume-title":"Distributed Systems","author":"W.E. Weihl","year":"1989","unstructured":"Weihl, W.E. (1989). High-Level Specifications for Distributed Programs. Distributed Systems. Mullender, S.J., ed., ACM Press, New York."},{"key":"17_CR67","doi-asserted-by":"crossref","unstructured":"Wood, D.P.; and Wood, W.G. (1989). Comparative Evaluations of Four Specification Methods for Real-Time Systems. Carnegie Mellon University, Software Engineering Institute Technical Report CMU\/SEI-89-TR-36 (ESD-89-TR-47), Pittsburgh, Pa.","DOI":"10.21236\/ADA219187"},{"key":"17_CR68","unstructured":"Xu, J.; and Parnas, D. L. (1992). Automated Pre-Run-Time Scheduling in Hard-Real-Time Systems. Proceedings of the Ninth IEEE Workshop on Real-Time Operating Systems and Software, pp. 91\u201395."}],"container-title":["Lecture Notes in Computer Science","Software Engineering Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58951-1_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:21:40Z","timestamp":1619572900000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58951-1_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540589518","9783540491675"],"references-count":68,"URL":"https:\/\/doi.org\/10.1007\/3-540-58951-1_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}