Saeedloei, N., & 		Kluźniak, F.
2022 Dec  6.  An Efficient Customized Clock Allocation Algorithm for a Class of Timed Automata. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :