Computer-assisted development of thermodynamically consistent detailed heterogeneous kinetic mechanismsдоклад на конференции