No authors of 1606.02021 can endorse.

SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

Alvaro Miyazawa and Ana Cavalcanti are not registered as owners of this paper. (why?)