T. Szemethy and G. Karsai, “PML: a Language for Platform Modeling”, ECEASST, vol. 4, Dec. 2006.