G. Savaton, J.-L. Béchennec, M. Briday, and R. Kassem, “An Architecture Description Language for Embedded Hardware Platforms”, ECEASST, vol. 44, Oct. 2011.