GitHub repository: CubeSkyy/ist-sec
Primary language: Java
Description: Project for 2019-2020 Highly Dependable Systems Course in Instituto Superior Técnico.