assert_properties_extended.aadl 115 Bytes