Naumchev, Alexandr and Meyer, Bertrand and Mazzara, Manuel and Galinier, Florian and Bruel, Jean-Michel and Ebersold, Sophie AutoReq: expressing and verifying needs for manage programs. Léoty, Florent and Fillatreau, Philippe and Archimède, Bernard Path setting up regulate utilizing higher abstraction stage surroundings design and industrial taskoriented awareness. Schuster, Dominik.