Our paper, titled A Divide and Conquer Approach to Model Checking Linear Temporal Properties, has been accepted for publication in ACM Transactions on Software Engineering and Methodology (ACM TOSEM) and selected for a JAIST press release (link). :tada: