@article {3502,
	title = {PML: a Language for Platform Modeling},
	journal = {Electronic Communications of the EASST},
	volume = {4},
	year = {2006},
	author = {Szemethy, Tivadar and Karsai, Gabor}
}
