An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers