Sharvia, Septavera, Papadopoulos, Yiannis, Chen, De-Jiu, Walker, Martin, Yuan, Wenjing, Lönn, Henrik, "Enhancing the EAST-ADL error model with HiP-HOPS semantics", Athens journal of technology & engineering, 2014