A Formal Model of a Complex Estimation Method in Lean Product Development Process. - Leonid Kamalov; Alexander Pokhilko; Timur Tylaev (CE, 2010)