[BF99]. Braberman, V., Felder, M.: Verification of real-time designs: Combining scheduling theory with automatic formal verification. In: Software Engineering - ESEC/FSE’99: 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering. Volume 1687 of LNCS., Touluse, France, Springer-Verlag (1999) 521–525 16.
[Br00] Braberman, V.: Modeling and Checking Real-Time Systems Designs. Ph d. thesis, Departamento de Computaci´on, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires (2000)
[ABKO04] Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual timed event scenarios. In: Proc. of the 26th ACM/IEEE ICSE ’04, ACM Press (2004)
[BGO04] Braberman, V., Garbervetsky, D., Olivero, A.: ObsSlice: A timed automata slicer based on observers. In: Proc. of the 16th Intl. Conf. CAV ’04. LNCS, Springer Verlag (2004)
[BOS03] Braberman, V., Olivero, A., Schapachnik, F.: Zeus: A distributed timed model checker based on Kronos. In: Workshop on Parallel and Distributed Model Checking, affiliated to CONCUR 2002 (13th International Conference on Concurrency Theory). Volume 68 of ENTCS., Brno, Czech Republic, Elsevier (2002)
[BOS04] Braberman, V., Olivero, A., Schapachnik, F.: Issues in Distributed Model-Checking of Timed Automata: building zeus. to appear in International Journal of Software Tools for Technology Transfer (2004)
[ABGKOS04] Alfonso, A., Braberman, V., Garbervetsky, D., Kicillof, N., Olivero, A, Schapachnik, F.: VInTiMe: Combining High-Level Finesse with Low-Level Muscle to Verify Real-Time Systems. Tto be published in Proceeding of the First International Conference on Principles of Software Engineering, PRISE 2004.