Model Based Testing For Embedded Systems Computational Analysis Synthesis Design | Desertcart Cote D' Ivoire