Mis on tarkvara dünaamika analüüs? : kommentaar Eesti Vabariigi teaduse aastapreemia pälvinud tööle "Reaalaja tarkvara dünaamika analüüs"