A formal model of the java multithreading system and its validation on a known problem | IEEE Conference Publication | IEEE Xplore