Numerical analysis of the robustness of clinching process considering the pre-forming of the parts 
C.R. Bielak, M. Böhnke, R. Beck, M. Bobbert, G. Meschut, Journal of Advanced Joining Processes.  (2020).

A Formal Definition of an Abstract VHDL Simulator by EA-Machines
E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.