Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems | IEEE Conference Publication | IEEE Xplore