Visual semi-automation of requirements specification to dynamic models