Naiyong Jin Juan Zhou Taoyong Ni iPSL: An Environment for IP-Based PSL Specification. 46-55 2008 ICECCS http://dx.doi.org/10.1109/ICECCS.2008.13 conf/iceccs/2008 db/conf/iceccs/iceccs2008.html#JinZN08