An Industrial Experience on Development with LOTOS and SDL