Відправити по sms: Using model checking to generate tests from specifications / Paul E. Ammann, Paul E. Black, William Majurski.