https://123dok.com/document/y95kwvvz-embedded-software-verification-and-debugging-pdf-pdf.html