Introduction to Deadlock Research in Computer-integrated Systems