use K to describe AADL annex