A traceability technique for specificationsAharon AbadiMordechai Nisensonet al.2008ICPC 2008Conference paper