@inproceedings {RP-86-08,
	title = {A software environment for systems design with HLPN and their implementations},
	year = {1986},
	month = {5},
	pages = {95-127},
	author = {M. Silva and J. Mart{\'\i}nez}
}

