Duc-Duy Vo Claude Petitpierre A New Multi-Tasking Concept Supported by SMV. 228-233 2003 conf/serp/2003-1 Software Engineering Research and Practice db/conf/serp/serp2003-1.html#VoP03