HMSCs as Partial Specifications ... with PNs as Completions. - Benoît Caillaud; Philippe Darondeau; Loïc Hélouët; Gilles Lesventes (MOVEP, 2000)