com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754363]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963103]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963100]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411964928]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754340]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754369]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5861696777038426332]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7542362404087570673]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2641465259243069637]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754345]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963106]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754350]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F4396901941372409612]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5861696777038427937]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F4396901941372405374]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2641465259243075250]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F5226663767998823477]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754364]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F7021513436411963096]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3Ac5a55244-77a5-42ce-8f29-e1a72cf99b7f%28_010_features._100_checkable_assurance_demo%29%2F2272221112240754358]

com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564466413]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564465884]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564477331]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479385]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564476086]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564451119]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479284]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564479806]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564477541]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438397]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564450751]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438387]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A00435d79-77fb-49f0-87b5-fa7239ab0856%28_100_examples._020_adas_students_lab._030_safe_emergency_break%29%2F2345852163564438392]

com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080874]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080873]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081194]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038442884]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081200]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038441329]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038441980]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081202]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080862]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080861]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038439875]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080858]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080857]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080863]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038440513]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080876]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080875]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081196]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081191]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080872]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080871]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876080877]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F4312077340876081198]
 com.mbeddr.formal.safety.gsn.patterns is not imported [http://127.0.0.1:63320/node?ref=r%3A0a67385e-17ec-4148-b1f8-83ce752e9242%28_100_examples._030_adas._010_intersection_handling.ihs%29%2F5861696777038443613]