#	Description	Title	Status	Type	KBART Field	New Value	Old Value	Start Time	End Time
1	Changes in Title 'Formal Modeling and Analysis of Timed Systems'	Formal Modeling and Analysis of Timed Systems	Successful	Changed Title	access_type	Paid	-Empty-	2023-09-12 20:02	2023-09-12 20:02
2	New Title 'Formal Modeling and Analysis of Timed Systems'	Formal Modeling and Analysis of Timed Systems	Successful	New Title	-Empty-	-Empty-	-Empty-	2023-09-12 09:49	2023-09-12 09:49