Yulia Startsev — From specification to implementation