Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -47,7 +47,7 @@
47	47	(% style="color:#333333" %)J. Deantoni, J. Cambeiro, S. Bateni, S. Lin and M. Lohstroh, [[Debugging and Verification Tools for Lingua Franca in Gemoc Studio>>url:https://ieeexplore.ieee.org/document/9568383||shape="rect"]], //2021 Forum on specification & Design Languages (FDL)//, 2021, pp. 01-08, doi: 10.1109/FDL53530.2021.9568383.
48	48
49	49	(% style="margin-left: 30.0px;" %)
50		-**[assigned]** (% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244.
	50	+(% style="color:#003366" %)Juha-Pekka Tolvanen and Steven Kelly. 2018. [[Effort Used to Create Domain-Specific Modeling Languages>>url:https://dl.acm.org/citation.cfm?doid=3239372.3239410||shape="rect"]]. In //Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems// (MODELS '18). ACM, New York, NY, USA, 235-244.
51	51
52	52	(% style="margin-left: 30.0px;" %)
53	53	(% style="color:#333333" %)M. Lohstroh, C. Menard, A. Schulz-Rosengarten, M. Weber, J. Castrillon and E. A. Lee, [[A Language for Deterministic Coordination Across Multiple Timelines>>url:https://ieeexplore.ieee.org/document/9232939||shape="rect"]], //2020 Forum for Specification and Design Languages (FDL)//, 2020
...	...	@@ -69,7 +69,7 @@
69	69	==== **Safety Analysis / Model Checking** ====
70	70
71	71	(% style="margin-left: 30.0px;" %)
72		-**[assigned]** (% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
	72	+(% style="color:#333333" %)S. Baumgart, J. Fröberg, and S. Punnekkat, [[Analyzing hazards in system-of-systems: Described in a quarry site automation context>>https://ieeexplore.ieee.org/document/7934783||shape="rect"]]. //2017 Annual IEEE International Systems Conference (SysCon)//, 2017, pp. 1-8, doi: (%%)10.1109/SYSCON.2017.7934783(% style="color:#333333" %).
73	73
74	74	(% style="margin-left: 30.0px;" %)
75	75	**[assigned]** (% style="color:#333333" %)F. G. R. de Souza, J. de Melo Bezerra, C. M. Hirata, P. de Saqui-Sannes and L. Apvrille, [[Combining STPA with SysML Modeling>>url:https://ieeexplore.ieee.org/document/9275867||shape="rect"]]. //2020 IEEE International Systems Conference (SysCon)//, 2020, pp. 1-8, doi: 10.1109/SysCon47679.2020.9275867.
...	...	@@ -78,7 +78,7 @@
78	78	**[assigned]** J. Kloos, T. Hussain, and R. Eschbach. [[Risk-based testing of safety-critical embedded systems driven by fault tree analysis>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=5954386]]. In //2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops//, pp. 26-33. IEEE, 2011.
79	79
80	80	(% style="margin-left: 30.0px;" %)
81		-**[assigned]** L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
	81	+L. A. Cortes, P. Eles and Z. Peng, [[Formal coverification of embedded systems using model checking>>url:https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=874622&tag=1]]. //Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future//. Vol. 1. IEEE, 2000.
82	82
83	83
84	84	=== Master Recommendations ===