Title: Detecting potential synchronization constraint deadlocks from formal system specifications