| Real-time systems: implementation of industrial computerised process automation WA Halang, KM Sacha World Scientific, 1992 | 80 | 1992 |
| Inżynieria oprogramowania K Sacha Wydawnictwo Naukowe PWN SA, 2020 | 71 | 2020 |
| Automatic code generation for PLC controllers K Sacha International Conference on Computer Safety, Reliability, and Security, 303-316, 2005 | 39 | 2005 |
| Architecting dynamic reconfiguration in dependable systems ATA Gomes, TV Batista, A Joolia, G Coulson Architecting dependable systems IV, 237-261, 2007 | 35* | 2007 |
| Measuring the real-time operating system performance KM Sacha Proceedings Seventh Euromicro Workshop on Real-Time Systems, 34-40, 1995 | 30 | 1995 |
| Systemy czasu rzeczywistego K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1993 | 25 | 1993 |
| Verification and implementation of dependable controllers K Sacha 2008 Third International Conference on Dependability of Computer Systems …, 2008 | 24 | 2008 |
| Evaluation of Software Quality. K Sacha Software engineering: evolution and emerging technologies, 381-388, 2005 | 20 | 2005 |
| Sieci miejscowe PROFIBUS K Sacha Zakład Nauczania Informatyki Mikom, 1998 | 19 | 1998 |
| Translatable finite state time machine K Sacha International SDL Forum, 117-132, 2007 | 16 | 2007 |
| The semantics of role-based trust management languages A Felkner, K Sacha IFIP Central and East European Conference on Software Engineering Techniques …, 2009 | 12 | 2009 |
| Verification and implementation of software for dependable controllers K Sacha International Journal of Critical Computer-Based Systems 1 (1-3), 238-254, 2010 | 11 | 2010 |
| Projektowanie oprogramowania systemów sterujących K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1999 | 11 | 1999 |
| Software engineering techniques: design for quality K Sacha Springer, 2007 | 10 | 2007 |
| Safety verification of software using structured Petri nets K Sacha International Conference on Computer Safety, Reliability, and Security, 329-342, 1998 | 10 | 1998 |
| QNX: system operacyjny K Sacha X-Serwis, 1995 | 10 | 1995 |
| Modele i praktyka audytu informatycznego A Zalewski, R Cegieła, K Sacha Problemy i metody inĪynierii oprogramowania, WNT, Warszawa, 2003 | 9 | 2003 |
| Fault analysis using petri nets K Sacha Proc. IEEE Real-time Embedded Systems Workshop, 130-133, 2001 | 9 | 2001 |
| Laboratorium systemu QNX K Sacha Oficyna Wydawnicza Politechniki Warszawskiej, 1995 | 9 | 1995 |
| Deriving RTT credentials for role-based trust management A Felkner, K Sacha e-Informatica Software Engineering Journal 4 (1), 2010 | 8 | 2010 |
