A Comparison of the Mutual Exclusion Features in Ada and the Real-Time Specification for JavaTM. - Vardanega, Tullio; Wellings, Andy; Brosgol, Benjamin M. (Reliable Software Technology - Ada-Europe 2005, 2005)