Tests - PROMEL - ADVANCED AND INNOVATIVE ENGINEERING