Engelbert Hubbers, Martijn Oostdijk. Generating JML Specifications from UML State Diagrams. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 263-274, ECSI, 2003. [doi]
Abstract is missing.