[1] Hlavička, J. - Racek, S. - Šmrha, P.: Functional Validation of Fault-Tolerant Asynchronous Algorithms. In: proceedings of Euromicro 1996, Praha, Sept. 1996, pp 143-150.
[2] Racek, S. - Herout, P. - Hlavička, J.: Fault Injection as a Tool for FT Process Controller Design. Proceedings of DDECS'97 - Design and Diagnostic of Electronic Circuits and System, Szczyrk, Poland, Sept. 1998, pp. 123-128, ISBN 83-908409-6-0.
[3] Hlavička, J. - Racek, S. - Herout, P.: Analysis and Testing of Process Controler Dependability. 9th European Workshop of Dependable Computing, Gdaňsk, Poland, May 1998, pp. 7-11, ISBN 83-907591-1-X .
[4] Štika, J. - Racek, S. - Herout, P. - Kačírek, R.: A Simulation Method of Real-time Programs Design. Automatizace, vol 43, no 6, June 2000, ISSN 0005-125X, pp. 394-400, (Czech language).
[5] Hlavička, J. - Racek, S. - Herout, P.: Evaluation of Process Controller Fault Tolerance Using Simulation. Simulation Practice and Theory, Volume 7, Issue 8, 15 March 2000, ISSN 0928-4869, pp. 769-790.
[6] Racek, S. - Herout, P. : A Probabilistic Quantification of the G-phenomenon Parameters . Proceedings of LPPL 2000 - Logic of Progress and Progress of Logic, Plzeň, Dec. 2000, DDTN 12-34567-89-0, pp. 38 - 49, (Czech language)
[7] Vais, V. - Racek, S. - Hlavička, J.: Dependability model of a Distributed Authentication System. Proceedings of BEC 2000 - Baltic Electronic Conference, Tallin, Oct. 2000, ISBN 9985-59-179-8, pp. 157-160.
[8] Hlavička, J. - Racek, S. - Herout, P.: Modeling a fault-tolerant distributed system. International Conference on Trends in Communications, IEEE Eurocon´2001, Bratislava, Slovakia, July 2001, pp. 544-547, ISBN 0-7803-6490-2.
[9] Herout, P. - Racek, S. - Hlavička, J. Model-Based Dependability Evaluation Method for TTP/C Applications. EDCC-4 - Fourth European Dependable Computing Conference, Toulouse, France, Oct. 2002. Published in Lecture notes in Computer Science no. 2485, Springer-Verlag, pp. 271-282, ISBN 3-540-00012-7.
[10] Grillinger, P. - Racek, S.: Transient Faults Robustness Evaluation of Safety Critical System Using Simulation, BEC 2002 - Baltic Electronic Conference, Tallin, Estonia, Oct. 2002 , pp. 257-260.
[11] Hlavička, J. - Racek, S.: C-Sim - The C language Enhancement for Discrete-Time Simulation, DSN/IPDS2, Washington, U.S.A., June 2002, p.539.
[12] Hlavička, J. - Racek, S.- Grillinger,P.: Verification of Fault-Tolerant Embedded Computer Systems Using Higger-level Simulation, IFAC Workshop Programmable Systems and devices - PDS 2003, Ostrava, Czech rep., Feb 2003, pp . 232-237 (preprints).
[13] Racek, S. - Jokl, R.: C-Sim version 5.0, Application of Concurrency to System Design - ACSD 2003, Guimares, Portugal, June 2003, ISBN 0769518877, pp. 229-230
[14] Grillinger, P.- Racek, S.: Using markov models for evaluation of single event upsets in TTP/C systems. In: PDS 2004, Poland: Cracow, IFAC, 2004, Eds. Pulka, A. – Hrynkiewicz, E. – Klosowski, P., pp. 100-104. ISBN 83-908409-8-7.
[15] Grillinger, P.- Brada, P. - Racek, S.: Simulation approach to embedded system programming and testing. In: ECBS 2004. Czech rep.: Brno, IEEE, 2004, Ed. Dvorak, V. – Sveda, M., pp. 248-254. ISBN 0-7695-2125-8
[16] Kačer, J. - Racek, S.: Model based development of Java embedded applications. In.: Book of Abstracts of the 5th EUROSIM congress on modeling and simulation. France: Paris, EuroSim, 2004, Eds. Attiya, G. – Hamam, Y., pp. 84-85, ISBN 3-901608-28-1. Full papers on CD, ISBN 3-901608-28-1.
[17] Brada, P. – Grillinger, P. - Racek, S.: High-level simulation of embedded systems: experiences from the FIT project. In: Proceedings of Seventh IEEE international symposium on object-oriented real-time distributed computing . Austria: Vienna, 2004, IEEE, Ed. Kopetz, H., pp. 245-248. ISBN 0-7695-2124-X.
[18] Racek, S. - Herout, P. - Hlavička, J.: Dependability evaluation of time triggered architecture using simulation. In: Computing and Informatics, 2004, Vol.23, No.1, pp.51-76, ISSN 1335-9150.
[19] Grillinger, P. - Herout,P. - - Racek,S.: C-Reference model of TTP/C: Improvement of Bus Guardian. In: International Conference on Modelling and Simulation for Public Safety, Simsafe 2005, Sweden: Linkoping, Proceedings pp. 55-62.
[20] Paska, M. - Dvorak, P. - Janecek, E. - Racek,S.: Model-based support for life-cycle management of I&C systems. In: IEEE Conference Eurocon 2007. Poland: Warsaw, Proceedings vol. 1-61358-1361, 2007.
[21] Racek, S. - Cirtek, P.: Performance comparison of distributed simulation using PVM and MPI. In: IEEE Conference Eurocon 2007, Poland: Warsaw, Proceedings vol. 1-61173-1176, 2007.
[22] Mikolasek, V. - Ademaj, A. - Racek, S.: Segmentation of standard Ethernet messages in the TT Ethernet. In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Germany, Sep. 2008, pp. 392-399, 1-4244-1505-2.