#	Description	Title	Status	Type	KBART Field	New Value	Old Value	Start Time	End Time
1	New Title '"Abstract State Machines, Alloy, B, TLA, VDM, and Z"'	"Abstract State Machines, Alloy, B, TLA, VDM, and Z"	Successful	New Title	-Empty-	-Empty-	-Empty-	2023-08-10 17:23	2023-08-10 17:23