Towards a Verification Approach of a Smart Registry for Chronic Heart Failure Patients. - Christoph Eberharter; Martin Baumgartner; Karl Kreiner; Aaron Lauschensky; Robert Modre-Osprian; Sabrina B. Neururer; Dieter Hayn; Luca Brunelli; Gerald Slamanig; Sarah Prantl; Bernhard Pfeifer; Gerhard Pölzl; et al. (dHealth, 2023)