Liability in software engineering: overview of the LISE approach and illustration on a case study | IEEE Conference Publication | IEEE Xplore