Using AADL to Model a Protocol Stack.

Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers

Browse the full ICECCS paper archive.