Generating transitio graphs from temporal integrity constraints expressed as patterned sentences - Pham Van Chung.