Projects Directory : Development of LOTOS specification - Development of mechanical trading system in C/C++