https://9pdf.net/document/zwvwwgrv-model-based-testing-industrial-protocols-irc-p-controller.html