Live Sequence Charts - Concurrent Lsc Verification Topic Of Research Paper In