ValidMaker: A tool for managing device configurations using logical constraints. - Sylvain Hallé; Eric Lunaud Ngoupe; Gaetan Nijdam; Omar Cherkaoui; Petko Valtchev; Roger Villemaire (NOMS, 2012)