@inproceedings{BE-ECRTS23,
	author = {Baruah, Sanjoy and Ekberg, Pontus},
	title = {Towards Efficient Explainability of Schedulability Properties in Real-Time Systems},
	booktitle = {Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS)},
	pages =	{2:1--2:20},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	ISBN = {978-3-95977-280-8},
	ISSN = {1868-8969},
	year = {2023},
	volume = {262},
	editor = {Papadopoulos, Alessandro V.},
	publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
	address = {Dagstuhl, Germany},
	doi = {10.4230/LIPIcs.ECRTS.2023.2},
}