Integrating formal methods into medical software development : the ASM approach