Hierarchiczna reprezentacja reguł decyzyjnych w specyfikacji systemów czasu rzeczywistego — [Hierarchical representation of decision rules in specification of real-time systems] / Tomasz SZMUC, Rafał Mrówka // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — S. 283–288. — Bibliogr. s. 288, Streszcz.

Informatyka – stan aktualny i kierunki rozwoju — [Computer science – present state and development directions] / Tomasz SZMUC // W: Prace Komisji Nauk Technicznych, T. 1 / pod red. Ryszarda Tadeusiewicza ; Polska Akademia Umiejętności. — Kraków : PAU, 2005. — S. 65–74. — Bibliogr. s. 74

Specyfikacja wymagań z zastosowaniem hierarchicznych tablic decyzyjnych oraz D-sieci — [Requirements specification using hierarchical decision tables and D-nets] / Tomasz SZMUC, Rafał Mrówka // W: Systemy czasu rzeczywistego : praca zbiorowa. T. 1, Kierunki badań i rozwoju / pod red. Andrzeja Kwietnia. — Warszawa : Wydawnictwa Komunikacji i Łączności, 2005. — S. 59–70. — Bibliogr. s. 70

Systematyczna analiza poprawności w wytwarzaniu bezpiecznego oprogramowania — Systematic correctness analysis in development of safety software / Tomasz SZMUC, Grzegorz ROGUS // Pomiary, Automatyka, Kontrola / Stowarzyszenie Inżynierów i Techników Mechaników Polskich. Sekcja Metrologii, Polskie Stowarzyszenie Pomiarów Automatyki i Robotyki POLSPAR ; ISSN 0032-4140. — 2005 [nr] 9bis wyd. spec. dod., s. 288–290. — Bibliogr. s. 290, Streszcz., Abstr.. — Diagnostyka procesów przemysłowych : VII krajowa konferencja naukowo-techniczna : Rajgród, 12-14 września 2005 / pod red. nauk. Jana Macieja Kościelnego. — Warszawa : Agenda Wydawnicza SIMP, 2005