Home

  Publications

  Industry/Research Projects

  Activities

Teaching/Supervision

YourSoftware

Publications

Google Scholar (960 citations, h-index = 19, i10-index = 31), 108 publications

    2018:
     
  1. Journal article:  O. Jones, M. Spichkova, M. Spencer. Chirality-2: Development of a Multilevel Mobile Gaming App To Support the Teaching of Introductory Undergraduate-Level Organic Chemistry. Journal of Chemical Education
     
  2. Journal article:  A. Alharthi, M. Spichkova, M. Hamilton. Sustainability requirements for eLearning systems: a systematic literature review and analysis. Requirements Engineering
     
  3. A. Alharthi, M. Spichkova, M. Hamilton. SuSoftPro: Profiling for Sustainability Software. 26th IEEE International Requirements Engineering Conference (RE'18), IEEE 
     
  4.  A. Alharthi, M. Spichkova, M. Hamilton, T. Alsanoosy. Gender-Based Perspectives of eLearning Systems: An Empirical Study of Social Sustainability. 27th International Conference on Information Systems Development (ISD2018), pages 1-12
     
  5. M. Spichkova, J. Bartlett, R. Howard, A. Seddon, X. Zhao, Y. Jiang. SMI: Stack Management Interface. 23rd International Conference on Engineering of Complex Computer Systems  (accepted)
     
  6. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. 23rd International Conference on Engineering of Complex Computer Systems, (accepted)
     
  7. Book Chapter: M. Spichkova. Model-based Analysis of Temporal Properties, Volume 866 of the Communications in Computer and Information Science series, pages 208-223. Springer Nature 
     
  8. Book Chapter: C. Sun, J. Zhang, C. Liu, B. King, Y. Zhang, M. Galle, M. Spichkova, M.Simic. Towards Software Development For Social Robotics SystemsSeries on Smart Innovation, Systems and Technologies. Intelligent Interactive Multimedia Systems and Services 2018, pages 151-160
     
  9. Book Chapter: T. Alsanoosy, M. Spichkova, J. Harland. A Detailed Analysis of the Influence of Saudi Arabian Culture on the Requirement Engineering Process. Communications in Computer and Information Science series. Springer Nature (accepted)
     
  10. T. Alsanoosy, M. Spichkova, J. Harland. Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 159-168
      
  11. A. Zamansky, M. Spichkova, G. Rodriguez-Navas, P. Herrmann,  J. Blech. Towards Classification of Lightweight Formal Methods13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 305-313
      
  12. M. Spichkova, R. Bhat. FocusST Solution for Analysis of Cryptographic Properties13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), SciTePress, pages 320-327
      
  13.  A. Christianto, P. Chen, O. Walawedura, A. Vuong, J. Feng, M. Spichkova, M.Simic. Enhancing the User Experience With Vertical Transportation Solutions. 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Elsevier, Procedia Computer Science, pages 2075 - 2084.
       
  14.  A. Alharthi, M. Spichkova, M. Hamilton. Towards Tool-support for Sustainability Profiling. Proceedings of the 7th International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy), pages 1-8
       
  15. M. Spichkova. Automated analysis of the impact of weather conditions on medicine consumption. 25th Australasian Software Engineering Conference, to appear
       
  16. A. Abdullah, H. Schmidt, M. Spichkova, H. Liu. Monitoring Informed Testing for IoT. 25th Australasian Software Engineering Conference, to appear
       
  17. A. Zamansky, M. Spichkova. A Set-based Logical Language for Specification of Combinatorial Models. 15th Asia-Pacific Conferences on Conceptual Modelling (APCCM 2019 at ACSW), to appear
     
  18. 2017:
     
  19. Journal article: I. Yusuf, I. Thomas, M. Spichkova, H. Schmidt. Chiminey: Connecting Scientists to HPC, Cloud and Big DataBig Data Research, Volume 8, pages 39–49, Elsevier 
     
  20. Book Chapter: M. Spichkova, A. Zamansky. AHR: Human-Centred Aspects of Test Design. Series on Communications in Computer and Information Science, Springer, pages 111-128  
     
  21. Book Chapter: M. Spichkova, H. Schmidt, I. Thomas, I. Yusuf, S. Androulakis and G. Meyer. Towards Modelling and Implementation of Reliability and Usability Features for Research-Oriented Cloud Computing Platforms. Series on Communications in Computer and Information Science, Springer, pages 158-178   
     
  22. C. Thevathayan, M. Spichkova, M. Hamilton. Combining Agile Practices with Incremental Visual Tasks19th Australasian Computing Education Conference (ACE 2017), ACM, pages 103-112 
     
  23. N. Alzahrani, M. Spichkova, J. Blech. From Temporal Models to Property-based Testing. 12th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pages 241-246
     
  24. M. Spichkova, M. Simic. Autonomous Systems Research Embedded in TeachingIntelligent Interactive Multimedia Systems and Services 2017. Series on Smart Innovation, Systems and Technologies, Volume 76, pages 268-277, Springer  
     
  25. M. Spichkova, M. Simic. Human-centred analysis of the dependencies within sets of proofs. Proc. of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems   
     
  26. L. Clunne-Kiely, B. Idicula, L. Payne, E. Ronggowarsito, M. Spichkova, M. Simic, H. Schmidt. Modelling and Implementation of Humanoid Robot Behaviour. Proc. of the 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 
     
  27. M. Spichkova, H. Schmidt, C. Trubiani. Role of women in Software Architecture: An attempt at a systematic literature review. Proc. of the 11th European Conference on Software Architecture (ECSA 2017), ACM 
     
  28. M. Spichkova(Auto) Focus approaches and their applications: A systematic review, CoRR, 1711.08123
      
  29. A. Alharthi, M. Spichkova.  Green Architecture for Sustainable eLearning Systems. Proc. of the 3rd Workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA 2017), ACM
     
     
  30. 2016:
     
  31. Book Chapter: M. Spichkova, M. Simic, H. Schmidt. From Automotive to Autonomous: Time-Triggered Operating SystemsIntelligent Interactive Multimedia Systems and Services 2016,  Springer, pages 347-359, ISBN: 978-3-319-39344-5   
     
  32. Journal article:  M. Spichkova, M. Simic, H. Schmidt, J. Cheng, X. Dong, Y. Gui, Liang, P. Ling, Z. Yin. Formal models for intelligent speed validation and adaptationProcedia Computer Science, vol.96, Elsevier, pages 1609-1618   
     
  33. Journal article:  M. Spichkova, M. Hamilton. Dynamic Decision Making System for Public Transport Routes. International Journal of System Dynamics Applications (IJSDA), 5 (3), pages 47-70   
      
  34. M. Spichkova, A. Zamansky. A Human-Centred Framework for Supporting Model-Based Testing28th International Conference on Advanced Information System Engineering (CAiSE), Forum, CEUR, pages 105-112 
     
  35. M. Laali, H. Liu, M. Hamilton, M. Spichkova, H. Schmidt. Test Case Prioritization Using Online Fault Detection Information21st International Conference on Reliable Software Technologies (RST), Springer, LNCS, ISBN 978-3-319-39082-6, pages 78-93 
     
  36. Best Paper Award:  M. Spichkova, A. Zamansky. A Human-Centred Framework for Combinatorial Test Design11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 228-233 
     
  37. M. Spichkova, A. Zamansky, E. Farchi. A visual logical language for system modelling in combinatorial test designCognitive Aspects of Information Systems Engineering at 28th International Conference on Advanced Information System Engineering (CAiSE). Volume 249 of Series Lecture Notes in Business Information Processing, ISBN 978-3-319-39564-7, Springer, pages 116-121
     
  38. M. Spichkova, H. Schmidt, I. Thomas, I. Yusuf, S. Androulakis, G. Meyer. Managing Usability and Reliability Aspects in Cloud Computing (preprint version in pdf). 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 288-295 
     
  39. M. Spichkova, A. Zamansky. Teaching Formal Methods for Software Engineering11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 370-376 
      
  40. A. Zamansky, G. Rodriguez-Navas, M. Adams, M. SpichkovaFormal Methods in Collaborative Projects. 11th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), ISBN 978-989-758-189-2, pages 396-402 
     
  41. M. Spichkova. "Boring formal methods" or "Sherlock Holmes deduction methods"? Software Technologies: Applications and Foundations (STAF), Springer, pages 242-252 
     
  42. P. Vo, M. Spichkova. Model-based generation of natural language specificationsSoftware Technologies: Applications and Foundations (STAF), Springer, pages 221-231 
     
  43. N. Alzahrani, M. Spichkova, J. Blech. Spatio-Temporal Models for Formal Analysis and Property-Based TestingSoftware Technologies: Applications and Foundations (STAF), Springer, pages 196-206 
     
  44. M. SpichkovaApplied Logic in Engineering, Technical Report, CoRR, 1602.05170
      
  45. M. Spichkova, J. Harland, A. Alharthi. Online Support System for Transnational Education. International Conference on Engineering Education and Research (ICEER), Western Sydney University
      
  46. M. Simic, M. Spichkova, H. Schmidt and I. Peake. Enhancing Learning Experience by Collaborative Industrial Projects. International Conference on Engineering Education and Research (ICEER), Western Sydney University
      
  47. A. Alharthi, M. Spichkova. Individual and Social Requirements Aspects of Sustainable eLearning Systems. International Conference on Engineering Education and Research (ICEER), Western Sydney University
     
  48. M. SpichkovaSpatio-temporal features of FocusST, Technical Report, CoRR, 1610.07884
     
  49. A. Alharthi, M. Spichkova, M. Hamilton. Sustainability Profiling of Long-living Software Systems. 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ), CEUR, pages 41-48 
     
  50. 2015:
     
  51. I. Yusuf, I. Thomas, M. Spichkova, S. Androulakis, G. Meyer, D. Drumm, G. Opletal, S. Russo, A. Buckle, H. Schmidt. Chiminey: Reliable Computing and Data Management Platform in the Cloud37th International Conference on Software Engineering (ICSE), pages 677-680 
     
  52. Journal article:  M. Spichkova, M. Simic, H. Schmidt. Formal model for intelligent route planningProcedia Computer Science, Elsevier BV, Netherlands, vol. 60, pp. 1299-1308 ISSN: 1877-0509 
     
  53. Journal article: M. Spichkova, H. Schmidt. Formal-Based Framework For Analysis Of Logical ArchitectureInternational Journal of Services Computing (IJSC), 3(3), pages 1-15  
     
  54. Book Chapter: M. Spichkova, M. Simic. Towards Formal Modelling of Autonomous SystemsIntelligent Interactive Multimedia Systems and Services, Springer, pp. 279-288, ISBN: 9783319198309 
     
  55. Book Chapter: J. Blech, M. Spichkova, I. Peake, H. Schmidt. Visualization, Simulation and Validation for Cyber-Virtual SystemsSeries on Communications in Computer and Information ScienceSpringer, vol. 551, pp. 140-154. ISBN 978-3-319-27217-7, 978-3-319-27218-4 

  56. Book chapter: M. Spichkova, M. Hamilton. Sustainable Transport System: Transport On-Demand[PDF]In Using Decision Support Systems for Transportation Planning Efficiency, Ed.: E. Ocalir-Akunal. IGI Global, pages 259-287
      
  57. M. Spichkova, H. Schmidt. Requirements Engineering Aspects of a Geographically Distributed Architecture10th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), IEEE, pages 276-281
     
  58. H. Liu, M. Spichkova, H. Schmidt, T. Sellis, M. Duckham. Spatio-temporal architecture-based framework for testing services in the cloud24th Australasian Software Engineering Conference (ASWEC), ACM, pages 18-22
      
  59. H. Liu, M. Spichkova, H. Schmidt, A. Ulrich, H. Sauer, J. Wieghardt. Efficient testing based on logical architecture24th Australasian Software Engineering Conference (ASWEC), ACM, pages 49-53
      
  60. A. Alharthi, M. Spichkova, M. Hamilton. Requirements Engineering Aspects of ELearning Systems24th Australasian Software Engineering Conference (ASWEC), ACM, pages 132-133
      
  61. M. Spichkova, I. Thomas, H. Schmidt, I. Yusuf, S. Androulakis, G. Meyer, D.W. Drumm, G. Opletal, S.P. Russo, A. Buckle. Scalable and Fault-Tolerant Cloud Computations: Modelling and Implementation21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), IEEE, pages 396-404
     
  62. M. Spichkova, A. Zamansky and E. Farchi. Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems21st IEEE International Conference on Parallel and Distributed Systems (ICPADS), pages 847 - 851
      
  63. M. Spichkova, H. Schmidt. Reconciling a component and process view7th International Workshop on Modelling in Software Engineering (MiSE) at ICSE 2015, ACM, pages 1-6
       
  64. M. Spichkova, H. Liu, M. Laali, H. Schmidt, Human Factors in Software Reliability EngineeringWorkshop on Applications of Human Error Research to Improve Software Engineering at ICSE 2015
       
  65. M. Spichkova, H. Liu, H. Schmidt. Towards Quality-oriented architecture: Integration in a global contextProceedings of the 9th European Conference on Software Architecture (ECSA), ACM, Article No. 64 
       
  66. M. Spichkova, H. Schmidt, R. Nekvi, N. Madhavji. Structuring Diverse Regulatory Requirements for Global Product DevelopmentRequirements Engineering and Law workshop at RE 2015, IEEE, 57-60
      
  67. M. Spichkova, H. Schmidt. HOFM 2015 Summary, [PDF]SEFM Proceedings, LNCS, vol. 9509 
      
  68. 2014:
     
  69. Book chapter: M. SpichkovaDesign of formal languages and interfaces: “Formal” does not mean “unreadable”[PDF]. In Emerging Research and Trends in Interactivity and the Human-Computer Interface, Eds.: K. Blashki, P. Isaías. IGI Global, ISBN13: 9781466646230, ISBN10: 1466646233
       
  70. M. Spichkova, H. Schmidt. Towards Logical Architecture and Formal Analysis of Dependencies Between Services. Asia-Pacific Services Computing Conference (APSCC 2014)slides in pdf
      
  71. M. Spichkova, J. Blech, P. Herrmann, H. Schmidt. Modeling Spatial Aspects of Safety-Critical Systems with FocusST11th Model-Driven Engineering, Verification, and Validation (MoDeVVa 2014) at MODELS 2014
      
  72. Journal article: M. SpichkovaFormalisation and Analysis of Component Dependencies. In Archive of Formal Proofs, ISSN 2150-914x

  73. Journal article: M. SpichkovaCompositional Properties of Crypto-Based Components. In Archive of Formal Proofs, ISSN 2150-914x
      
  74. Best paper nomination: J. Blech, M. Spichkova, I. Peake, H. Schmidt. Cyber-Virtual Systems: Simulation, Validation & Visualization. 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2014)
     
  75. 2013:
     
  76. Journal article: M. SpichkovaStream Processing Components: Isabelle/HOL Formalisation and Case Studies. In Archive of Formal Proofs, ISSN 2150-914x
     
  77. M. Spichkova, H. Schmidt, I. Peake. From abstract modelling to remote cyber-physical integration/interoperability testing. In Improving Systems and Software Engineering Conference (iSSEC) 2013 incorporating SEPG(SM) Asia-Pacific Conference
     
  78. M. Spichkova, X. Zhu and D. Mou. Do we really need to write documentation for a system? In International Conference on Model-Driven Engineering and Software Development (MODELSWARD)
     
  79. [alphab. order TUM-EMIC] V. Bauer, M. Broy, M. Irlbeck, C. Leuxner, M. Spichkova, M. Dahlweid, T. Santen. Survey of Modeling and Engineering Aspects of Self-Adapting & Self-Optimizing Systems[PDF]Technical Report TUM-I1324, 45 pages, Technische Universität München
     
  80. [alphab. order] S. Dobi, M. Gleirscher, M. Spichkova, P. Struss. Model-based Hazard and Impact Analysis[PDF]Technical Report TUM-I1333, 74 pages, Technische Universität München
     
  81. M. Spichkova, A. Campetelli, K. Lochmann (Eds.). Seminar: Embedded SystemsTechnical Report TUM-I124, 119 pages, Technische Universität München
     
  82. 2012:
     
  83. M. Spichkova, A. Campetelli Towards system development methodologies: From software to cyber-physical domain. In First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS)
     
  84. M. SpichkovaTowards Focus on Time. In 12th International Workshop on Automated Verification of Critical Systems (AVoCS)
     
  85. M. SpichkovaHuman Factors of Formal Methods. In IADIS Interfaces and Human Computer Interaction 2012 (IHCI)
     
  86. M. Spichkova, F. Hölzl, D. Trachtenherz. Verified System Development with the AutoFocus Tool Chain. In Formal Methods in the Development of Software.  EPTCS 86, pages 17–24   
     
  87. M. SpichkovaComponent Composition: Formal Specification and Verification of Cryptographic PropertiesTechnical Report TUM-I1336, 61 pages, Technische Universität München
     
  88. M. Spichkova (Ed.). Seminar: Human Factors in Software EngineeringTechnical Report TUM-I1216, 61 pages, Technische Universität München
     
  89. 2011:
     
  90. Journal article: M. SpichkovaArchitecture: Requirements + Decomposition + Refinement. In Softwaretechnik-Trends, 2011, Vol. 31, No. 4
      
  91. M. SpichkovaRefinement-Based Specification: Requirements and Architecture. In Proceedings of Software Engineering 2011 (SE) , Karlsruher Institut für Technologie
       
  92. M. SpichkovaUser Guide for the FOCUS representation in LaTeX. Technical Report TUM-I1119, 15 pages, Technische Universität München
     
  93. M. SpichkovaFocus on processesTechnical Report TUM-I1115, 36 pages, Technische Universität München
     
  94. [alphab. order] M. Feilkas, F. Hölzl, C. Pfaller, S. Rittmann, B. Schätz, W. Schwitzer, W. Sitou, M. Spichkova, D. Trachtenherz. A Refined Top-Down Methodology for the Development of Automotive Software Systems - The KeylessEntry System Case StudyTechnical Report TUM-I1103, 81 pages, Technische Universität München
     
  95. 2010:
     
  96. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. AutoFocus Tool ChainTechnical Report TUM-I1021, 12 pages, Technische Universität München
     
  97. [alphab. order] F. Hölzl, M. Spichkova, D. Trachtenherz. Safety-Critical System Development MethodologyTechnical Report TUM-I1020, 12 pages, Technische Universität München
     
  98. M. SpichkovaFrom Semiformal Requirements To Formal Specification[PDF]Technical Report TUM-I1019, 32 pages, Technische Universität München
     
  99. M. SpichkovaArchitecture: Methodology of DecompositionTechnical Report TUM-I1018, 65 pages, Technische Universität München
     
  100. M. Spichkova. Architecture: Methodology Of Decomposition. Specification Of The Cruise Control System. Case Study. Internal Technical Report published at Robert Bosch GmbH, 98 pages 
     
  101. M. Spichkova. Verisoft XT Automotive Application: Semiformal Specification For Cruise Control System. Internal Technical Report published at Robert Bosch GmbH, 43 pages 
     
  102. 2009:
     
  103. M. SpichkovaRefinement-Based Specification and Verification (Short Version)Dagstuh Research Seminar on Refinement Based Methods for the Construction of Dependable Systems, Dagstuhl Castle, Germany
     
  104. [alphab. order] M. Feilkas, A. Fleischmann, F. Hölzl, C. Pfaller, K. Scheidemann, M. Spichkova, D. Trachtenherz. A Top-Down Methodology for the Development of Automotive SoftwareTechnical Report I0902, 84 pages, Technische Universität München
     
  105. 2008:
     
  106. Journal article: [alphab. order] J. Botaschanjan, M. Broy, A. Gruler, A. Harhurin, S. Knapp, L. Kof, W. Paul, M. SpichkovaOn the Correctness of Upper Layers of Automotive SystemsFormal Aspects of Computing, 20(6), pp. 637-662
     
  107. Book: M. SpichkovaSpecification and Seamless Verification of Embedded Real-Time Systems: FOCUS on IsabelleVdm Verlag Dr. Müller, 2008, ISBN-10: 3836494523, ISBN-13: 978-3836494526  
     
  108. M. SpichkovaFocus on Isabelle: From Specification to VerificationTheorem Proving in Higher-Order Logics (TPHOLs 2008), Eds.: Otmane Ait Mohamed, César Muñoz, Sofiène Tahar, Concordia University 
     
  109. M. SpichkovaRefinement-based verification of interactive real-time Systems. In Proceedings of the REFINE 2008 -- International Refinement Workshop, ENTCS, Volume 214, pp. 131-157
     
  110. M. Spichkova, J. Jürjens. Formal Specification of Cryptographic Protocols and Their Composition PropertiesTechnical Report I0823, 50 pages, Technische Universität München
     
  111. 2007:
     
  112. Book chapter: [alphab. order] C. Kühnel, M. SpichkovaSoftware Fault-Tolerant Communication for Distributed Embedded SystemsEds.: P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky. In Software Engineering of Fault Tolerant Systems (Series: Software Engineering and Knowledge Engineering), volume 19, pp. 175-198, World Scientific Publishing
     
  113. Book chapter: [alphab. order] M. Broy, J. Fox, F. Hölzl, D. Koss, M. Kuhrmann, M. Meisinger, B. Penzenstadler, S. Rittmann, B. Schätz, M. Spichkova, D. Wild. Service-Oriented Modeling CoCoME with Focus/AutoFocus. In The Common Component Modeling Example. Comparing Software Component Models. A. Rausch, R. Reussner, R. Mirandola, F. Plášil (Eds.). Volume 5153, pp. 177-206, Springer
     
  114. M. SpichkovaSpecification and Seamless Verification of Embedded Real-Time Systems: FOCUS on Isabelle. PhD thesis, TU München, 2007
     
  115. 2006:
     
  116. [alphab. order] J. Botaschanjan, A. Gruler, A. Harhurin, L. Kof, M. Spichkova, D. Trachtenherz. Towards Modularized Verification of Distributed Time-Triggered Systems. Eds.: Jayadev Misra, Tobias Nipkow, and Emil Sekerinski. In Proceedings of the Formal Methods 2006, volume 4085 of LNCS, pp. 163-178, Springer
     
  117. [alphab. order] C. Kühnel, M. SpichkovaUpcoming Automotive Standards For Fault Tolerant Communication: FlexRay and OSEKtime FTCom. In Proceedings of the EFTS 2006 International Workshop on Engineering of Fault Tolerant Systems, 12 pages, Universite du Luxembourg, CSC: Computer Science and Communication
     
  118. M. SpichkovaFlexRay: Verification of the FOCUS Specification in Isabelle/HOL. A Case Study. Technical Report TUM-I0602, 26 pages, Technische Universität München
     
  119. [alphab. order] C. Kühnel, M. SpichkovaFlexRay und FTCom: Formale Spezifikation in FOCUSTechnical Report I0601, 33 pages, Technische Universität München
     
  120. 2005:
     
  121. [alphab. order] J. Botaschanjan, L. Kof, C. Kühnel, M. SpichkovaTowards Verified Automotive SoftwareACM SIGSOFT Software Engineering Notes 30(4), Proceedings of the 2nd International ICSE workshop on Software, pp. 1-6, ACM Press 
     
  122. 2003:
     
  123. M. Spichkova. A coalgebraic view at data flow systems. Master's thesis, TU Dresden