Using AADL to Model a Protocol Stack | IEEE Conference Publication | IEEE Xplore