Deadlock resolution via exceptions for dependable Java applications | IEEE Conference Publication | IEEE Xplore