Here is the final document of the VA402 project. (The final version of the proposal).

proposal final