Extending Typestate Checking Using Conditional Liveness AnalysisRobert E. StromDaniel M. Yellin1993IEEE Transactions on Software Engineering