Extending SOFL to support both top-down and bottom-up approaches | IEEE Conference Publication | IEEE Xplore