100644 blob d37deb0db5b5f05a3a6de8c039b00583f7991a91	StateMachine.pdf
100644 blob 2144e96cb55e8402eca73c52e86581684a128aed	case.bib
100644 blob bc73a8ba299cbdf39c46575dcf2dec025370602f	state_machine1.pdf
100644 blob c444e9ce16bbc9dfa994a91533da5b361675da3e	state_machine2.pdf
100644 blob 4e54dd40044b0c7db31e27c792767e5dd02fef7a	state_machine3.pdf
100644 blob c84101705197b6840ec72da2c19cb85bb7821381	ttc2011-reengineering-case.pdf
100644 blob 3403ea0d08e52bec571f56fca17f448cce3f7599	ttc2011-reengineering-case.tex