ROBOT Attack - Specification vs Implementation