"Modeling Shared-Memory Multiprocessor Systems with AADL."

Stéphane Rubini, Pierre Dissaux, Frank Singhoff (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics