Luping Chen John H. R. May Safety Assessment of Systems Embedded with COTS Components by PIP technique. 93-108 2004 conf/soqua/2004 SOQUA/TECOS db/conf/soqua/soqua2004.html#ChenM04