Operational Code Analysis: An Overview, S.G.Walker & M.Schafer PART I: METHODS: CONTENT ANALYSIS AND FORMAL MODELS Issues in the...