assert_properties.aadl 5.69 KB