Verification of Bakery algorithm variants for two processes - D. Dedic; Robert Meolic (The IEEE Region 8 EUROCON 2003. Computer as a Tool., 2004)