Non-Intrusive Data Inspection for Message-Based Systems. - Jakub Czajka; Jacek Otwinowski; Jacek Kitowski (Comput. Informatics, 2021)