A model-checking approach to analysing organisational controls in a loan origination process.

Andreas Schaad, Volkmar Lotz, Karsten Sohr

Browse the full SACMAT paper archive.