Diretório de Projetos : Development of LOTOS specification - Development of mechanical trading system in C/C++