@article{202409.0148,
	doi = {10.20944/preprints202409.0148.v1},
	url = {https://doi.org/10.20944/preprints202409.0148.v1},
	year = 2024,
	month = {September},
	publisher = {Preprints},
	author = {Agnieszka M. Zbrzezny and Olga Siedlecka-Lamch and Sabina Szymoniak and Andrzej Zbrzezny and Mirosław Kurkowski},
	title = {Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols},
	journal = {Preprints}
}