Chris Marriott, Frank Zeyda, Ana Cavalcanti. A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 294-307, Springer, 2012. [doi]
Abstract is missing.