A case study in re-engineering to enforce architectural control flow and data sharing

Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho. A case study in re-engineering to enforce architectural control flow and data sharing. Journal of Systems and Software, 80(2):240-264, 2007. [doi]

Abstract

Abstract is missing.