taste_properties.aadl 6.93 KB