Computer-assisted development of thermodynamically consistent detailed heterogeneous kinetic mechanismsтезисы доклада