09 November 2021 - Online The MASTECS consortium exhibits the project at the High Integrity Software: Assuring security and safety for critical software applications (HIS 2021).