taste_properties.aadl 7.09 KB