Steps to increase practical applicability of PragTic software. - Jirí Tomcala; Jan Papuga; David Horák; Václav Hapla; Marek Pecha; Martin Cermák (Adv. Eng. Softw., 2019)