Albassam, E., Gomaa, H., and , R. Pettit. 2014. Experimental Analysis of Real-Time Multitasking on Multicore Systems, Proc. 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing (ISORC), June 2014.

Ammann, P. and Offutt, J.. 2008. Introduction to Software Testing. New York: Cambridge University Press.

Ambler, S. 2005. The Elements of UML 2.0 Style. New York: Cambridge University Press.

Atkinson, C., Bayer, J., Laitenberger, O., et al. 2002. Component-Based Product Line Engineering with UML. Boston: Addison-Wesley.

Awad, M., Kuusela, J., and Ziegler, J.. 1996. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Upper Saddle River, NJ: Prentice Hall.

Bacon, J. 2003. Concurrent Systems: An Integrated Approach to Operating Systems, Database, and Distributed Systems, 3rd ed. Reading, MA: Addison-Wesley.

Baruah, S. K. and Goossens, J. 2003. Rate-monotonic Scheduling on Uniform Multiprocessors. IEEE Transactions Computing. 52, 7, 966–970.

Bass, L., Clements, P., and Kazman, R.. 2013. Software Architecture in Practice, 3rd ed. Boston: Addison-Wesley.

Beck, K. and Andres, C.. 2005. Extreme Programming Explained: Embrace Change, 2nd ed. Boston: Addison-Wesley.

Bishop, M. 2005. Introduction to Computer Security. Boston: Addison-Wesley.

Bjorkander, M. and Kobryn, C.. 2003. “Architecting Systems with UML 2.0.” IEEE Software 20(4): 57–61.Google Scholar

Blaha, J. and Rumbaugh, J.. 2005. Object-Oriented Modeling and Design, 2nd ed. Upper Saddle River, NJ: Pearson Prentice Hall.

Boehm, B. 1988. “A Spiral Model of Software Development and Enhancement.” IEEE Computer 21(5): 61–72.Google Scholar

Boehm, B. 2006. “A View of 20th and 21st Century Software Engineering.” In Proceedings of the International Conference on Software Engineering, May 20–26, 2006, Shanghai, China, pp. 12–29. Los Alamitos, CA: IEEE Computer Society Press.

Booch, G. 1994. “Object-Oriented Design with Applications,” Second Edition, Addison Wesley, Reading MA.

Booch, G., Maksimchuk, R. A., and Engel, M. W.. 2007. Object-Oriented Analysis and Design with Applications, 3rd ed. Boston: Addison-Wesley.

Booch, G., Rumbaugh, J., and Jacobson, I.. 2005. The Unified Modeling Language User Guide, 2nd ed. Boston: Addison-Wesley.

Bosch, J. 2000. Design & Use of Software Architectures: Adopting and Evolving a Product-Line Approach. Boston: Addison-Wesley.

Brooks, F. 1995. The Mythical Man-Month: Essays on Software Engineering, anniversary ed. Boston: Addison-Wesley.

Brown, A. 2000. Large-Scale, Component-Based Development. Upper Saddle River, NJ: Prentice Hall.

Bruno, E. and Bollella, G.. 2009. Real-Time Java Programming: With Java RTS. Upper Saddle River, NJ: Prentice Hall

Budgen, D. 2003. Software Design, 2nd ed. Boston: Addison-Wesley.

Buede, D. M. 2009. The Engineering Design of Systems: Methods and Models. 2nd ed. New York: Wiley.

Buhr, R. J. A. and Casselman, R. S., 1996. Use Case Maps for Object-Oriented Systems. Upper Saddle River, NJ: Prentice Hall.

Burns, A. and Wellings, A., 2009. Real-Time Systems and Programming Languages, 4th ed. Boston: Addison Wesley.

Buschmann, F., Meunier, R., Rohnert, H., et al. 1996. Pattern-Oriented Software Architecture: A System of Patterns. New York: Wiley.

Buschmann, F., Henney, M., and Schmidt, D., 2007. Pattern Oriented Software Architecture, Volume 3: A Pattern Language for Distributed Computing. New York: John Wiley & Sons.

Buttazzo, G. 2011. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 2nd ed. New York: Springer.

Carver, R., and Tai, K.. 2006. Modern Multithreading:Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 ProgramsNew York: Wiley-Interscience

Clements, P. and Northrop, L.. 2002. Software Product Lines: Practices and Patterns. Boston: Addison-Wesley.

Cockburn, A. 2006. Agile Software Development: The Cooperative Game, 2nd ed. Boston: Addison-Wesley.

Cohn, M. 2006. Agile Estimating and Planning. Upper Saddle River, NJ: Pearson Prentice Hall.

Comer, D. E. 2008. Computer Networks and Internets, 5th ed. Upper Saddle River, NJ: Pearson Prentice Hall.

Cooling, J. 2003. Software Engineering for Real-Time Systems. Harlow: Addison Wesley.

Davis, R. I. and Burns, A. 2011. A Survey of Hard Real-Time Scheduling for Multiprocessor Systems. ACM Computer Surveys. 43, 4, Article 35 (October 2011), 44 pages.

Dollimore, J., Kindberg, T., and Coulouris, G.. 2005. Distributed Systems: Concepts and Design, 4th ed. Boston: Addison-Wesley.

Dahl, O. and Hoare, C. A. R.. 1972. “Hierarchical Program Structures.” In Structured Programming, Dahl, O., Dijkstra, E. W., and Hoare, C. A. R. (eds.), pp. 175–220. London: Academic Press.

Davis, A. 1993. Software Requirements: Objects, Functions, and States, 2nd ed. Upper Saddle River, NJ: Prentice Hall.

Dijkstra, E. W. 1968. “The Structure of T.H.E. Multiprogramming System.” Communications of the ACM 11: 341–346.Google Scholar

Douglass, B. P. 1999. Doing Hard Time: Developing Real-Time Systems with UML, Objects, Frameworks, and Patterns. Reading, MA: Addison-Wesley.

Douglass, B. P. 2002. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Boston: Addison-Wesley.

Douglass, B. P. 2004. Real Time UML: Advances in the UML for Real-Time Systems, 3rd ed. Boston: Addison-Wesley.

Eeles, P., Houston, K., and Kozaczynski, W.. 2002. Building J2EE Applications with the Rational Unified Process. Boston: Addison-Wesley.

Eriksson, H. E., Penker, M., Lyons, B., et al. 2004. UML 2 Toolkit. Indianapolis, IN: Wiley.

Erl, T. 2006. Service-Oriented Architecture (SOA): Concepts, Technology, and Design. Upper Saddle River, NJ: Prentice Hall.

Espinoza, H., Cancila, D., Selic, B., and Gérard, S., 2009. “Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems.” Lecture Notes in Computer Science 5562, pp. 98–113. Berlin: Springer.Google Scholar

FAA. 2000. System Safety Handbook. https://www.faa.gov/regulations_policies/handbooks_manuals/aviation/risk_management/ss_handbook/

Fowler, M. 2002. Patterns of Enterprise Application Architecture. Boston: Addison-Wesley.

Fowler, M. 2004. UML Distilled: Applying the Standard Object Modeling Language, 3rd ed. Boston: Addison-Wesley.

Friedenthal, S, Moore, A., and Steiner, R., 2015. A Practical Guide to SysML: The Systems Modeling Language, 3rd ed. San Francisco: Morgan Kaufmann.

Gamma, E., Helm, R., Johnson, R., and Vlissides, J.. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Reading, MA: Addison-Wesley.

Goetz, B. et al. 2006. Java Concurrency in Practice. Boston: Addison-Wesley.

Gomaa, H. 1984. “A Software Design Method for Real Time Systems.” Communications of the ACM 27(9): 938–949.Google Scholar

Gomaa, H. 1986. “Software Development of Real Time Systems.” Communications of the ACM 29(7): 657–668.Google Scholar

Gomaa, H. 1989a. “A Software Design Method for Distributed Real-Time Applications.” Journal of Systems and Software 9: 81–94.Google Scholar

Gomaa, H. 1989b. “Structuring Criteria for Real Time System Design.” In Proceedings of the 11th International Conference on Software Engineering, May 15–18, 1989, Pittsburgh, PA, USA, pp. 290–301. Los Alamitos, CA: IEEE Computer Society Press.

Gomaa, H. 1990. “The Impact of Prototyping on Software System Engineering.” In Systems and Software Requirements Engineering, pp. 431–440. Los Alamitos, CA: IEEE Computer Society Press.

Gomaa, H. 1993. Software Design Methods for Concurrent and Real-Time Systems. Reading, MA: Addison-Wesley.

Gomaa, H. 2001. “Use Cases for Distributed Real-Time Software Architectures.” In Engineering of Distributed Control Systems, Welch, L. R. and Hammer, D. K. (eds.), pp. 1–18. Commack, NY: Nova Science.

Gomaa, H. 2000. Designing Concurrent, Distributed, and Real-Time Applications with UML. Boston: Addison-Wesley.

Gomaa, H. 2002. “Concurrent Systems Design.” In Encyclopedia of Software Engineering, 2nd ed., Marciniak, J. (ed.), pp. 172–179. New York: Wiley.

Gomaa, H. 2005a. Designing Software Product Lines with UML. Boston: Addison-Wesley.

Gomaa, H. 2005b. “Modern Software Design Methods for Concurrent and Real-Time Systems.” In Software Engineering, vol. 1: The Development Process. 3rd ed. Dorfman, M. and Thayer, R. (eds.), pp 221–234. Hoboken, NJ: Wiley Interscience.

Gomaa, H. 2006. “A Software Modeling Odyssey: Designing Evolutionary Architecture-centric Real-Time Systems and Product Lines.” Keynote paper, Proceedings of the ACM/IEEE 9th International Conference on Model-Driven Engineering, Languages and Systems, Genoa, Italy, October 2006, pp. 1–15. Springer Verlag LNCS 4199.

Gomaa, H. 2008. “Model-based Software Design of Real-Time Embedded Systems.” International Journal of Software Engineering 1(1): 19–41.Google Scholar

Gomaa, H. 2009. “Concurrent Programming.” In Encyclopedia of Computer Science and Engineering, Wah, Benjamin (ed.), pp. 648–655. Hoboken, NJ: Wiley.

Gomaa, H. 2011. Software Modeling and Design: UML, Use Cases, Patterns, and Software Architectures. New York: Cambridge University Press.

Gomaa, H. and Menasce, D.. 2001. “Performance Engineering of Component-Based Distributed Software Systems.” In Performance Engineering: State of the Art and Current Trends, Dumke, R., Rautenstrauch, C., Schmietendorf, A., et al. (eds.), pp. 40–55. Berlin: Springer.

Gomaa, H. and Scott, D. B. H. 1981. “Prototyping as a Tool in the Specification of User Requirements.” In Proceedings of the 5th International Conference on Software Engineering, San Diego, March 1981, pp. 333–342. New York: ACM Press.

Harel, D. and Gery, E.. 1996. “Executable Object Modeling with Statecharts.” In Proceedings of the 18th International Conference on Software Engineering, Berlin, March 1996, pp. 246–257. Los Alamitos, CA: IEEE Computer Society Press.

Harel, D. and Politi, M.. 1998. Modeling Reactive Systems with Statecharts: The Statemate Approach. New York: McGraw-Hill.

Hatley, D. and Pirbhai, I., 1988. “Strategies for Real Time System Specification,” New York: Dorset House.

Hoare, C. A. R. 1974. “Monitors: An Operating System Structuring Concept.” Communications of the ACM 17(10): 549–557.Google Scholar

Hoffman, D. and Weiss, D. (eds.). 2001. Software Fundamentals: Collected Papers by David L. Parnas. Boston: Addison-Wesley.

Hofmeister, C., Nord, R., and Soni, D.. 2000. Applied Software Architecture. Boston: Addison-Wesley.

IEEE Standard Glossary of Software Engineering Terminology, 1990, IEEE/Std 610.12-1990, Institute of Electrical and Electronic Engineers.

Jackson, M. 1983. System Development. Upper Saddle River, NJ: Prentice Hall.

Jacobson, I. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Reading, MA: Addison-Wesley.

Jacobson, I., Booch, G., and Rumbaugh, J.. 1999. The Unified Software Development Process. Reading, MA: Addison-Wesley.

Jacobson, I., Griss, M., and Jonsson, P.. 1997. Software Reuse: Architecture, Process and Organization for Business Success. Reading, MA: Addison-Wesley.

Jacobson, I., and Ng, P.W.. 2005. Aspect-Oriented Software Development with Use Cases. Boston: Addison-Wesley.

Jain, R. 2015. The Art of Computer Systems Performance Analysis: Techniques For Experimental Design Measurements Simulation and Modeling. 2nd ed. New York: Wiley.

Jazayeri, M., Ran, A., and Linden, P.Van Der. 2000. Software Architecture for Product Families: Principles and Practice. Boston: Addison-Wesley.

Kang, K., Cohen, S., Hess, J., et al. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study (Technical Report No. CMUSEI-90-TR-021). Pittsburgh, PA: Software Engineering Institute. Available online at www.sei.cmu.edupublicationsdocuments90.reports90.tr.021.html.

Kim, M., Kim, S., Park, S., et al. “Service Robot for the Elderly: Software Development with the COMET/UML Method.” IEEE Robotics and Automation Magazine, March 2009.

Kobryn, C. 1999. “UML 2001: A Standardization Odyssey.” Communications of the ACM 42(10): 29–37.Google Scholar

Kopetz, H., 2011. Real-Time Systems: Design Principles for Distributed Embedded Applications, 2nd ed. New York: Springer.

Kroll, P. and Kruchten, P.. 2003. The Rational Unified Process Made Easy: A Practitioner's Guide to the RUP. Boston: Addison-Wesley.

Kruchten, P. 1995. “The 4+1 View Model of Architecture.” IEEE Software 12(6): 42–50.Google Scholar

Kruchten, P. 2003. The Rational Unified Process: An Introduction, 3rd ed. Boston: Addison-Wesley.

Laplante, P. 2011. Real-Time Systems Design and Analysis: Tools for the Practitioner, 4th ed. New York: Wiley-IEEE Press.

Larman, C. 2004. Applying UML and Patterns, 3rd ed. Boston: Prentice Hall.

Lauzac, S., Melhem, R., and Mosse, D. 1998. Comparison of Global and Partitioning Schemes for Scheduling Rate Monotonic Tasks on a Multiprocessor. In Proceedings of the EuroMicro Workshop on Real-TimeSystems. 188–195.

Lea, D. 2000. Concurrent Programming in Java: Design Principles and Patterns, 2nd ed. Boston: Addison-Wesley.

Lee, E. A., and Seshia, S.. 2015. Introduction to Embedded Systems: A Cyber-Physical Systems Approach – Second Edition. lulu.com.

Lehoczy, J. P., Sha, L., and Ding, Y.. 1987. “The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior,” Proc IEEE Real-Time Systems Symposium, San Jose, CA, December 1987.

Leung, J., and Whitehead, J. 1982. On the Complexity of Fixed Priority Scheduling of Periodic, Real-Time Tasks. Performance Evaluation 2. 237–250.

Li, Q. and Yao, C. 2003. Real-Time Concepts for Embedded Systems. New York: CMP Books.

Liu, C. L. and Layland, J. W.. 1973. “Scheduling Algorithms for Multiprogramming in Hard Real-Time Environments,” Journal ACM, 20,1.

Liskov, B. and Guttag, J.. 2000. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Boston: Addison-Wesley.

Magee, J. and Kramer, J.. 2006. Concurrency: State Models & Java Programs, 2nd ed. Chichester, England: Wiley.

Magee, J., Dulay, N., and Kramer, J.. 1994. “Regis: A Constructive Development Environment for Parallel and Distributed Programs.” Journal of Distributed Systems Engineering 1(5): 304–312.Google Scholar

Menascé, D. A., Almeida, V., and Dowdy, L., 2004. Performance by Design: Computer Capacity Planning By Example, Upper Saddle River, NJ: Prentice Hall.

Menascé, D. A. and Gomaa, H.. 2000. “A Method for Design and Performance Modeling of Client/Server Systems.” IEEE Transactions on Software Engineering 26: 1066–1085.Google Scholar

Meyer, B. 1989. “Reusability: The Case for Object-Oriented Design.” In Software Reusability, vol. 2: Applications and Experience, Biggerstaff, T. J. and Perlis, A. J. (eds.), pp. 1–33. New York: ACM Press.

Meyer, B. 2000. Object-Oriented Software Construction, 2nd ed. Upper Saddle River, NJ: Prentice Hall.

Meyer, B. 2014. Agile! The Good, the Hype, and the Ugly. Switzerland: Springer.

Mills, K. and Gomaa, H.. 1996. “A Knowledge-Based Approach for Automating a Design Method for Concurrent and Real-Time Systems.” In Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, pp. 529–536. Skokie, IL: Knowledge Systems Institute.

Mills, K. and Gomaa, H.. 2002. “Knowledge-Based Automation of a Design Method for Concurrent and Real-Time Systems.” IEEE Transactions on Software Engineering 28(3): 228–255.Google Scholar

Object Management Group (OMG). 2015. “MDA – The Architecture Of Choice For A Changing World.” http://www.omg.org/mda/

Page-Jones, M. 2000. Fundamentals of Object-Oriented Design in UML. Boston: Addison-Wesley.

Parnas, D. 1972. “On the Criteria to Be Used in Decomposing a System into Modules.” Communications of the ACM 15: 1053–1058.Google Scholar

Parnas, D. 1979. “Designing Software for Ease of Extension and Contraction.” IEEE Transactions on Software Engineering 5(2): 128–138.Google Scholar

Parnas, D., Clements, P., and Weiss, D.. 1984. “The Modular Structure of Complex Systems.” In Proceedings of the 7th International Conference on Software Engineering, March 26–29, 1984, Orlando, Florida, pp. 408–419. Los Alamitos, CA: IEEE Computer Society Press.

Pettit, R. and Gomaa, H.. 2006. “Modeling Behavioral Design Patterns of Concurrent Objects.” In Proceedings of the IEEE International Conference on Software Engineering, May 2006, Shanghai, China. Los Alamitos, CA: IEEE Computer Society Press.

Pettit, R. and Gomaa, H.. 2007. “Analyzing Behavior of Concurrent Software Designs for Embedded Systems.” In Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, Santorini Island, Greece, May 2007.

Pfleeger, C., Pfleeger, S., and Margulies, J.. 2015. Security in Computing. 5th ed. Upper Saddle River, NJ: Prentice Hall.

Pree, W. and Gamma, E.. 1995. Design Patterns for Object-Oriented Software Development. Reading, MA: Addison-Wesley.

Pressman, R. 2009. Software Engineering: A Practitioner's Approach, 7th ed. New York: McGraw-Hill.

Quatrani, T. 2003. Visual Modeling with Rational Rose 2002 and UML. Boston: Addison-Wesley.

Rumbaugh, J., Blaha, M., Premerlani, W., et al. 1991. Object-Oriented Modeling and Design. Upper Saddle River, NJ: Prentice Hall.

Rumbaugh, J., Booch, G., and Jacobson, I.. 2005. The Unified Modeling Language Reference Manual, 2nd ed. Boston: Addison-Wesley.

Sage, A. P. and Armstrong, J. E.., 2000. An Introduction to Systems Engineering, John Wiley & Sons.

Schmidt, D., Stal, M., Rohnert, H., et al. 2000. Pattern-Oriented Software Architecture, Volume 2: Patterns for Concurrent and Networked Objects. Chichester, England: Wiley.

Schneider, G. and Winters, J. P.. 2001. Applying Use Cases: A Practical Guide, 2nd ed. Boston: Addison-Wesley.

Selic, B. 1999. “Turning Clockwise: Using UML in the Real-Time Domain,” Communications of the ACM 42(10): 46–54.Google Scholar

Selic, B., and Gerard, S.. 2014. Modeling and Analysis of Real-Time and Embedded Systems: Developing Cyber-Physical Systems with UML and MARTE. Burlington, MA: Morgan Kaufmann.

Selic, B., Gullekson, G., and Ward, P.. 1994. Real-Time Object-Oriented Modeling. New York: Wiley.

Sha, L. and Goodenough, J. B.. 1990. “Real-Time Scheduling Theory and Ada.” IEEE Computer 23(4), 53–62.Google Scholar

Shan, Y. P. and Earle, R. H.. 1998. Enterprise Computing with Objects. Reading, MA: Addison-Wesley.

Shaw, M. and Garlan, D.. 1996. Software Architecture: Perspectives on an Emerging Discipline. Upper Saddle River, NJ: Prentice Hall.

Silberschatz, A., Galvin, P., and Gagne, G.. 2013. Operating System Concepts, 9th ed. New York: Wiley.

Simpson, H. and Jackson, K., 1979. “Process Synchronization in MASCOT,” The Computer Journal 17(4).Google Scholar

Simpson, H., 1986. “The MASCOT Method,” IEE/BCS Software Engineering Journal, 1(3), 103–120.Google Scholar

Smith, C. U. 1990. Performance Engineering of Software Systems. Reading, MA: Addison-Wesley.

Software Engineering Institute, Carnegie Mellon University. 1993. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Boston: Kluwer Academic Publishers.

Sommerville, I. 2010. Software Engineering, 9th ed. Boston: Addison-Wesley.

Sprunt, B, Lehoczy, JP and Sha, L. 1989. “Aperiodic Task Scheduling for Hard Real-Time Systems,” The Journal of Real-Time Systems 1 (1989): 27–60.Google Scholar

Sutherland, J. 2014. Scrum: The Art of Doing Twice the Work in Half the Time. New York: Crown Business.

Szyperski, C. 2003. Component Software: Beyond Object-Oriented Programming, 2nd ed. Boston: Addison-Wesley.

Tanenbaum, A. S. 2011. Computer Networks, 5th ed. Upper Saddle River, NJ: Prentice Hall.

Tanenbaum, A. S. 2014. Modern Operating Systems, 4th ed. Upper Saddle River, NJ: Prentice Hall.

Tanenbaum, A. S. and Steen, M. Van. 2006. Distributed Systems: Principles and Paradigms, 2nd ed. Upper Saddle River, NJ: Prentice Hall.

Taylor, R. N., Medvidovic, N., and Dashofy, E. M.. 2009. Software Architecture: Foundations, Theory, and Practice. New York: Wiley.

Ward, P. and Mellor, S., 1985. Structured Development for Real-Time Systems, vols. 1, 2, and 3, Upper Saddle River, NJ: Yourdon Press, Prentice Hall.

Warmer, J. and Kleppe, A.. 1999. The Object Constraint Language: Precise Modeling with UML. Reading, MA: Addison-Wesley.

Webber, D. and Gomaa, H.. 2004. “Modeling Variability in Software Product Lines with the Variation Point Model.” Journal of Science of Computer Programming 53(3): 305–331, Amsterdam: Elsevier.Google Scholar

Weiss, D. and Lai, C. T. R.. 1999. Software Product-Line Engineering: A Family-Based Software Development Process. Reading, MA: Addison-Wesley.

Wellings, A. 2004. Concurrent and Real-Time Programming in Java. New York: Wiley.