Title: Investigation and development of test generation methods for control part of digital systems