publication venue for A New Assertion Property Language for Analog/Mixed-Signal Circuits 2015 A Sliding Window Filter for Incremental SLAM 2008 Regional Ionospheric TEC Gradients Estimation Using a Single GNSS Receiver 2014
