Towards Formal Concepts for Explanation Timing and Justifications | IEEE Conference Publication | IEEE Xplore