PLEASE WAIT FOR DOWNLOAD "Verification of Software Product Line Artefacts: A Checklist to Support ..."