selected publications chapter A Formal Model for the FAIR4Health Information Architecture. Studies in health technology and informatics. 2022