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