Directorio de proyectos : Development of LOTOS specification - Development of mechanical trading system in C/C++