Fix typos found by reviewers
Added discussion of Java implementation.
Add people to acknowledgements.
Fix data model figure
Add log synth reference