Wilkie, Ian2023-05-242023-05-242005https://dl.gi.de/handle/20.500.12116/41669enExecutable UML and SPARK Ada: The Best of Both WorldsText/Journal Article0720-8928