Benoît Caillaud Philippe Darondeau Loïc Hélouët Gilles Lesventes HMSCs as Partial Specifications ... with PNs as Completions. 125-152 2000 conf/movep/2000 MOVEP http://link.springer.de/link/service/series/0558/bibs/2067/20670125.htm db/conf/movep/movep2000.html#CaillaudDHL00