Formal Strategic Planning in highly uncertain and dynamic environments