Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleASADAL/SlM: An Incremental Multi-level Simulation and Analysis Tool for Real-time Software SpecificationsAuthorsKang, K. C.; Lee, K. W.; Lee, J. Y.; Kim, G. J.PublicationSoftware: Practice & Experience, 1998, Vol 28, Issue 4, p445ISSN0038-0644Publication typeArticle