Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of errors and presenting the results in an accessible format that allows the user to see an overview of the plan steps or timelines of objects in the plan. From our experience in two domains, users tend to interleave plan authoring and plan checking while extending background knowledge of actions. This has led us to refine KANAL to provide a high-level overview of plans and integrate a tool for refining the background knowledge about actions used to check plans. We report on these lessons learned and new directions in KANAL. Categories and Subject Descriptors H.5.2 [Information Interfaces and Presentations]: User Interfaces – User interface management systems General Terms Verification, Human Factors Keywords knowledge acquisition, plan analysis, knowledge bases, plan authoring, process models.