1 Irina Rychkova Alain Wegmann Laboratory of Systemic Modeling Ecole Polytechnique Fédérale de Lausanne A method for functional alignment verification.