- Tomas Krilavičius and H. Schonenberg, Discrete Simulation of Behavioural Hybrid Process Calculus, IFM2005 Doct. Symposium on Integrated Formal Methods, Eindhoven, The Netherlands, November. pdf bib
- Ed Brinksma, Tomas Krilavičius. Behavioural Hybrid Process Calculus, CTIT technical report TR-CTIT-05.45. pdf bib
- Ed Brinksma, Tomas Krilavičius, Yaroslav S. Usenko. Behavioural Hybrid Process Calculus, poster presentation, Siren, Eindhoven, October 6, 2005. pdf
- Ed Brinksma, Tomas Krilavičius, Yaroslav S. Usenko. Process Algebraic Approach to Hybrid Systems, Proceedings of 16th IFAC World Congress. pdf bib
- Ed Brinksma, Tomas Krilavičius, Yaroslav S. Usenko. Behavioural Hybrid Process Calculus, poster presentation, CTIT Symposium on Models for Software Engineering, University of Twente, May 11, 2005. pdf
