Reusing LOTOS specifications