Alexander Miczo: VHDL as a modeling-for-testability tool. Compcon 1990: 403-409