100644 blob d21de9b848089252393c7193fc3249a5c96adcc4	CommunicationDependency.cpp
100644 blob 0929055b9201a173f5d03459c239e883cf8db594	CommunicationDependency.h
100644 blob bdfc7eb09ebf44e45c341489a66c2da09e8cc396	MachineDependency.cpp
100644 blob 03fa1a9f83b0fa839625fa85649ee22f32e74b82	MachineDependency.h
100644 blob da7fc83bb7148609116f7423332c4ae20666740e	TransitionReachability.cpp
100644 blob b56a3b9979790115f53e25d5b50db7af6493f770	TransitionReachability.h