1. Application of the timed automata abstraction to theperformance evaluation of the architecture of a bank on- line transaction processing system. Maria Kourkouli1 and George…
