System dynamics in software project management: towards the development of a formal integrated framework