kframework/aadl-semantics

Formal semantics of AADL in K