Blueprints for JUppaal

Launchpad does not know how JUppaal tracks feature planning or documentation.