Model Based SW Engineering: a success story from development of the Joint Strike Missile