Generation of C++ Unit Tests from Abstract State Machines Specifications